000 00296nam a2200109Ia 4500
100 _aGallier Jean H.
942 _cBK
245 _aLogic for computer science : Foundations of automatic theorem proving
260 _aJohn wiley & sons, New York
_c1987
082 _a511.3 Gal
300 _appxiii,511
999 _c58867
_d58867