000 00608nam a22002057a 4500
008 210812b xxu||||| |||| 00| 0 eng d
020 _a9780486683706
040 _aIIITD
082 _a511.3
_bSMU-F
100 _aSmullyan, Raymond M.
245 _aFirst-order logic
_cby Raymond M. Smullyan
260 _aNew York :
_bDover Publications,
_c©1995
300 _axii, 158 p. ;
_c22 cm.
500 _aIncludes References and an Index
650 _aMathematics
650 _aFirst-order logic
650 _aLogic, Symbolic and mathematical
650 _aMathematics--Philosophy
942 _2ddc
_cBK
_01
999 _c156508
_d156508