   Predicate Calculus
  Anybody know of some really good predicate calculus sites/tutorials/books? Thanks.CodeJunkie  
  check outhttp://www.math.psu.edu/simpson/papers/philmath/node6.html  ;  Thank you, Snake.  