000 00569nam a22002057a 4500
999 _c37071
_d37071
008 231123b ||||| |||| 00| 0 eng d
020 _a978157586340
020 _a15758634
100 _aBarwise,Jon
245 _aLanguage,proof and Logic /
_cJon,Barwise
260 _aUnited State of America.
_bC S L I Publication.
_cc2008.
300 _axi, 587p.;
_bill.
500 _ainclude Glossary and index
650 _aLogic
_91741
700 _aEtchemendy,John
700 _aAllwein, Gerard
700 _aBarker-Plumber Dave
700 _aLiu, Albert
942 _cBK