TY  - BOOK
AU  - Barwise,Jon
AU  - Etchemendy,John
TI  - Language proof and logic
SN  - 157586374
AV  - BC 61 .B38 1999 13377
PY  - 1999///
CY  - USA
PB  - CSLI Publications
KW  - English language
N1  - Includes index
ER  -