000 00392pam a2200145a 44500
010 _a68013495
040 _aIIT, Kanpur
082 _a164
_bSm85f
100 _aSmullyan, Raymond M.
245 1 _aFirst-order logic
_cRaymond M. Smullyan
260 _aBerlin
_bSpringer-Verlag
_c1968
300 _axii, 158p.
650 _aFirst Order Logic
997 _aK13202 C
999 _c379890
_d379890