A beginner's guide to mathematical logic
(Book)
Author
Published
Mineola : Dover Publications, 2014.
Format
Book
ISBN
9780486492377 (pbk.), 0486492370 (pbk.)
Physical Desc
284 pages ; 23 cm
Status
Description
Loading Description...
More Details
Published
Mineola : Dover Publications, 2014.
Language
English
ISBN
9780486492377 (pbk.), 0486492370 (pbk.)
Notes
Description
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.
Also in this Series
Checking series information...
Copies
Location | Call Number | Status |
---|---|---|
Morris County Library - Adult Nonfiction | 511.3 SMU | Checked Out |
Subjects
LC Subjects
Reviews from GoodReads
Loading GoodReads Reviews.
Citations
APA Citation, 7th Edition (style guide)
Smullyan, R. M. (2014). A beginner's guide to mathematical logic . Dover Publications.
Chicago / Turabian - Author Date Citation, 17th Edition (style guide)Smullyan, Raymond M.. 2014. A Beginner's Guide to Mathematical Logic. Dover Publications.
Chicago / Turabian - Humanities (Notes and Bibliography) Citation, 17th Edition (style guide)Smullyan, Raymond M.. A Beginner's Guide to Mathematical Logic Dover Publications, 2014.
MLA Citation, 9th Edition (style guide)Smullyan, Raymond M.. A Beginner's Guide to Mathematical Logic Dover Publications, 2014.
Note! Citations contain only title, author, edition, publisher, and year published. Citations should be used as a guideline and should be double checked for accuracy. Citation formats are based on standards as of August 2021.
Staff View
Loading Staff View.