000			02233cam a22004097i 4500
001			18255407
003			OSt
005			20210715154346.0
008			140805s2014 nyu b 001 0 eng d
010			_a 2014395758
015			_aGBB412736 _2bnb
016	7		_a016620830 _2Uk
020			_a9780486492377 (pbk.)
020			_a0486492370 (pbk.)
035			_a(OCoLC)ocn870425021
040			_aUKMGB _beng _cAAMUSTED _erda _dBDX _dTDF _dYDXCP _dBTCTA _dOCLCO _dHF9 _dOCLCF _dOQX _dMYG _dDLC
042			_alccopycat
050	0	0	_aQA9.A1 _bSm8 2014
082	0	4	_a511.3 _223
100	1		_aSmullyan, Raymond M., _eauthor.
245	1	2	_aA beginner's guide to mathematical logic / _cRaymond M. Smullyan.
260			_aMineola, New York : _bDover Publications, Inc., _c2014
264		1	_aMineola, New York : _bDover Publications, Inc., _c[2014]
300			_aiii, 284 pages ; _c24 cm.
336			_atext _2rdacontent
337			_aunmediated _2rdamedia
338			_avolume _2rdacarrier
490	0		_aDover books on mathematics
504			_aIncludes bibliographical references (pages 263-264) and index.
520			_aWritten by a creative master of mathematical logic, this introductory text combines stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic. Author Raymond Smullyan offers clear, incremental presentations of difficult logic concepts. He highlights each subject with inventive explanations and unique problems. Smullyan's accessible narrative provides memorable examples of concepts related to proofs, propositional logic and first-order logic, incompleteness theorems, and incompleteness proofs. Additional topics include undecidability, combinatoric logic, and recursion theory. Suitable for undergraduate and graduate courses, this book will also amuse and enlighten mathematically minded readers-- _cSource other than Library of Congress.
650		0	_aLogic, Symbolic and mathematical.
650		7	_aLogic, Symbolic and mathematical. _2fast _0(OCoLC)fst01002068
906			_a7 _bcbc _ccopycat _d2 _encip _f20 _gy-gencatlg
942			_2lcc _cBK
999			_c560 _d560