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 |