TY  - BOOK
AU  - Barwise,Jon.
AU  - Etchemendy,John.
TI  - Language proof and logic
SN  - 9781575863740
AV  - BC 61.B38 1999 
PY  - 1999///
CY  - California
PB  - CSLI Publications
ER  -