TY  - BOOK
AU  - Barwise,Jon
AU  - Etchemendy,John
AU  - Allwein, Gerard
AU  - Barker-Plumber Dave
AU  - Liu, Albert
TI  - Language,proof and  Logic
SN  - 978157586340
PY  - 2008///
CY  - United State of America.
PB  - C S L I Publication.
KW  - Logic
N1  - include Glossary and index
ER  -