000 | 02150cam a22003737i 4500 | ||
---|---|---|---|
999 |
_c783 _d783 |
||
001 | 18255407 | ||
003 | OSt | ||
005 | 20180822144632.0 | ||
008 | 140805s2014 nyu b 001 0 eng d | ||
020 |
_a9780486492377(pbk.) : _cUSD 19.95 |
||
040 |
_cIISER-BPR _dIISER-BPR |
||
041 | _aENG | ||
082 | 0 | 4 |
_223rd _a511.3 _bSMU/B |
100 | 1 | _aSmullyan, Raymond M. | |
222 | _aMATHEMATICS | ||
245 | 1 | 2 |
_aBeginner's guide to mathematical logic/ _c[by] Raymond M. Smullyan. |
260 |
_aNew York: _bDover Publications, _cc2014 |
||
300 |
_aiii, 284 p. : _bill. ; _c24 cm. |
||
490 | 0 | _aDover books on mathematics | |
504 | _aIncludes bibliographical references (pages 263-264) and index. | ||
520 | _aCombining stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic, this new textbook for first courses in mathematical logic was written by the subject's creative master. Raymond Smullyan offers clear, incremental presentations of difficult logic concepts with creative explanations and unique problems related to proofs, propositional logic and first-order logic, undecidability, recursion theory, and other topics. | ||
650 | 0 | _aLogic, Symbolic and mathematics | |
650 | 0 | _aMathematics | |
942 |
_2ddc _cBK |