Barwise, Jon. <br/><br/>
Language, proof, and logic / 
Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu. 
 - Stanford, Calif. :  CSLI Publications,  c2002. 
 - xi, 587 p. ;  24 cm.