Barwise, Jon <br/><br/>
The language of first-order logic: including the Macintosh program Tarski's world 

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