000			01368 a2200217 4500
010			_a 2014395758
020			_a978-0-486-49237-7
050	0	0	_aQA9.A1
082	0	4	_a511.3
090			_c32132 _d32132
100	1		_aSmullyan, Raymond M.
546			_aeng
245	1	2	_aA beginner's guide to mathematical logic _cRaymond M. Smullyan
260			_aMineola, N. Y.: _bDover Publications, _c2014
300			_aiii, 284 p. ; _c24 cm.
490	0		_aDover books on mathematics
500			_aBibliografie p. 263 Index p. 265
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--
650		0	_aLogic, Symbolic and mathematical.
942			_aIMAR _cCART _k511.3 _sEP
999			_c31679 _d31679