Barwise, Jon. <br/><br/>
Language, proof, and logic / 

 - Stanford, Calif. :  CSLI Publications,  c2002. 
 - xi, 587 pages :  Illustrations ; 
<br/><br/> Includes index. 
<br/><br/><label>ISBN: </label>157586374X (pbk. : alk. paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic.
<br/><br/><label>LC Class. No.: </label>BC 61  / BAR