A beginner's guide to mathematical logic / Raymond M. Smullyan.
By: Smullyan, Raymond M [author.].
Material type:
TextSeries: Dover books on mathematics.Publisher: Mineola, New York : Dover Publications, Inc., [2014]Description: iii, 284 pages ; USD 19.95 24 cm.Content type: text Media type: unmediated Carrier type: volumeISBN: 9780486492377 (pbk.); 0486492370 (pbk.).Subject(s): Logic, Symbolic and mathematical | Logic, Symbolic and mathematicalDDC classification: 511.3 Summary: 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-- Source other than Library of Congress.
| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Book | Chennai Mathematical Institute General Stacks | 511.3 SMU (Browse shelf) | Available | 10651 |
Includes bibliographical references (pages 263-264) and index.
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-- Source other than Library of Congress.