000 00324nam a2200133Ia 4500
008 190711s9999 xx 000 0 und d
020 _a0486683706
082 _a511.3 S64
100 _aSMULLYAN, R.M.
245 0 _aFIRST-ORDER LOGIC
260 _aNEW YORK
_bDOVER
_c1995
300 _axii+158p.,21X14Cms.
942 _cBK
_2DDC
999 _c40840
_d40840