TY  - BOOK
T1  - The language of first-order logic : Including the IBM-compatible Windows version of Tarski's World 4.0
A1  - Barwise, Jon
LA  - English
PP  - Stanford
PB  - [S.n.]
YR  - 1992
ED  - 3rd ed. rev. and expanded
UL  - http://vufind10-pruebas.sigbunlp.bibliotecas.unlp.edu.ar/Record/dun.52993
OP  - 319
SN  - 9760937073904
KW  - TARSKI'S WORLD (PROGRAMA)
ER  -