000 00322nam a2200133Ia 4500
008 190703s9999 xx 000 0 und d
020 _a0-486-68370-2
082 _a511.3 S64
100 _aSMULLYAN,R.M
245 0 _aFIRST-ORDER LOGIC
260 _aNEW YORK
_bDOVER
_c1995
300 _axii+155p.,21x13Cms
942 _cBB
_2DDC
999 _c6290
_d6290