TY  - BOOK
AU  - Barwise, Jon
AU  - ill.
TI  - The language of first-order logic
SN  - 0937073903
AV  -  BC128.B37 
CY  - Stanford
KW  - First-order logic
ER  -