TY  - BOOK
AU  - Barwise, Jon
AU  - ill.
TI  - The language of first-order logic: including the Macintosh program Tarski's world
SN  - 0937073598
AV  - BC128.B37 
CY  - Stanford
KW  - First-order logic
ER  -