The language of first-order logic : Including the IBM-compatible Windows version of Tarski's World 4.0 - Barwise, Jon (Stanford : [S.n.], 1992)
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
Keywords: TARSKI'S WORLD (PROGRAMA)