01715nam a22002657a 4500 20220408103334.0 220408b |||||||| |||| 00| 0 eng d 9780486492377 :Technical Bureau India Pvt. Ltd. :E/261, Shastri Nagar Delhi :TB5906 :31/03/2022 511.3 SMU Smullyan, Raymond M. A Beginner's Guide to Mathematical Logic / Raymond M Smullyan New York : Dover Publications, 2014. iii, 284p. 24 cm. 1573 Dover books on mathematics Part I General Background -- Part II Propositional Logic -- Part III First-Order Logic -- Part IV The Incompletemess Phenomenon. Written 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. Mathematics General principles of mathematics Logic, Symbolic and mathematical. Arithmetic Smullyan, Raymond M. BOOK 59085 59085 0 0 ddc 0 1 MDL MDL 2022-04-08 Technical Bureau India Pvt. Ltd. 1572.00 511.3 SMU M357 2022-04-08 00:00:00 2022-04-08 MDL FPDA Grant