Barwise, Jon <br/><br/>
The language of first-order logic 

 - Stanford  Center for the Study of Language and Information  1992 
 - xiv,319p.  24cm. 
<br/><br/><label>ISBN: </label>0937073903 
<br/><br/><label>Subjects--Topical Terms: </label><br/>First-order logic
<br/><br/><label>LC Class. No.: </label>BC128.B37