TY  - BOOK
AU  - Barwise,Jon
TI  - The language of first-order logic: Including the IBM-compatible Windows version of Tarski's World 4.0
SN  - 9760937073904
PY  - 1992///
CY  - Stanford
PB  - [S.n.]
KW  - TARSKI'S WORLD (PROGRAMA)
N1  -  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
ER  -