TY  - BOOK
AU  - Barwise,Jon
AU  - Etchemendy,John
TI  - The language of first-order logic: including the Mackintosh program Tarski's world 4.0 
T2  - CSLI lecture notes
SN  - 0937073997 (pbk.) :
AV  - BC128 .B37 1993
U1  - 160 20
PY  - 1993///
CY  - Stanford, CA
PB  - Center for the Study of Language and Information
KW  - Tarski's world
KW  - First-order logic
ER  -