ENGLISH

A Beginner's Guide to Mathematical Logic (Dover Books on Mathematics)

By Raymond M. Smullyan

Book information

Publisher
Dover Publications
Year
2014
ISBN
0486492370, 9780486492377
Language
english
Format
PDF
Filesize
5 MB (5613803 bytes)
Edition
Illustrated
Pages
288\198
Time added
2021-01-22 22:38:43

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. 2014 edition.

Similar books