000			00560nam a2200181Ia 4500
008			161214s9999 xx 000 0 und d
020			_a9780387945934 _c(hbk)
082			_223 _a511.3 _bFIT
100			_aFitting, Melvin
245		0	_aFirst-order logic and automated theorem proving
250			_a2nd ed.
260			_aNew York: _bSpringer-Verlag, _c1996
300			_axvi, 326 p.; _bill., index: _c24 cm.
490			_aGraduate texts in computer science
650			_aLogic, Symbolic and mathematical
650			_aAutomatic theorem proving
942			_2ddc _cBK
999			_c14935 _d14935