TY  - BOOK
AU  - Barwise, J and John Etchemendy
TI  - Language proof and logic
SN  - 1889119083
AV  - QA  76.758 B37 1999
PY  - 1999///
CY  - Seven Bridges Press
PB  - New york
ER  -