TY  - DATA
AU  - Barwise,Jon
AU  - Etchemendy,John
TI  - Tarski's world: [Jon Barwise & John Etchemendy]
SN  - 1881526283, 9781881526285
AV  - BC128 B11
PY  - 1993///
CY  - Stanford, CA
PB  - CSLI Publications
KW  -  
KW  - First-order logic
KW  - Software
N1  - Title from disk label; Issued also for NeXT and Macintosh computers
N2  - A computer-based introduction to first-order logic, intended as a supplement to a logic text
UR  - http://www.loc.gov/catdir/toc/cam023/95790812.html
UR  - http://www.loc.gov/catdir/description/cam027/95790812.html
UR  - http://www.loc.gov/catdir/enhancements/fy1001/95790812-b.html
ER  -