000			01715nam a22002657a 4500
005			20220408103334.0
008			220408b |||||||| |||| 00| 0 eng d
020			_a9780486492377
028			_a:Technical Bureau India Pvt. Ltd. _b:E/261, Shastri Nagar Delhi _c:TB5906 _d:31/03/2022
082			_a511.3 SMU
100			_aSmullyan, Raymond M.
245			_aA Beginner's Guide to Mathematical Logic _c/ Raymond M Smullyan
260			_a New York _b : Dover Publications, _c 2014.
300			_aiii, 284p. _c24 cm.
365			_b1573
490			_aDover books on mathematics
505			_aPart I General Background -- Part II Propositional Logic -- Part III First-Order Logic -- Part IV The Incompletemess Phenomenon.
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. -- Provided by publisher.
650			_aMathematics
650			_aGeneral principles of mathematics
650			_aLogic, Symbolic and mathematical.
650			_aArithmetic
700			_aSmullyan, Raymond M.
942			_cBOOK
999			_c59085 _d59085