000 00416 a2200145 4500
035 _a
090 _c19380
_d19380
100 _aSmullayan, Raymond M
245 _aFirst - order logic
_cRaymond M. Smullyan
260 _aBerlin
_bSpringer-Verlag
_c1968
300 _aX, 158 p
_c25 cm
440 _aErgebnisse der mathematik und ihrer Grenzgebiete
_n43
500 _aContine bibliogr. si index
942 _aIMAR
_cCART
_sSN
999 _c19120
_d19120