Barwise, Jon <br/><br/>
The language of first-order logic :  Including the IBM-compatible Windows version of Tarski's World 4.0 

 - 3rd ed. rev. and expanded 
 - Stanford :  [S.n.],  1992 
 - xiv, 319 p. : il, 23 cm. 
<br/><br/>Preface -- Part 1Propositional logic -- Part 2 Quantifiers -- Part 3 Aplications of First-order Logic -- Part 4 Advanced topics -- General Index -- Tarski's World index -- Excersice files index 
<br/><br/><label>ISBN: </label>9760937073904 
<br/><br/><label>Standard No.: </label>DIF-M3239 
<br/><br/><label>Subjects--Topical Terms: </label><br/>TARSKI'S WORLD (PROGRAMA)