TY  - BOOK
AU  - Smullyan, Raymond M.
AU  - Smullyan, Raymond M.
TI  - A Beginner's Guide to Mathematical Logic
T2  - Dover books on mathematics
SN  - 9780486492377
U1  - 511.3 SMU 
PY  - 2014///
CY  -  New York
PB  -  : Dover Publications
KW  - Mathematics
KW  - General principles of mathematics
KW  - Logic, Symbolic and mathematical
KW  - Arithmetic
N1  - Part I General Background --
Part II Propositional Logic --
Part III First-Order Logic --
Part IV The Incompletemess Phenomenon
N2  - 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
ER  -