01368 a2200217 4500
2014395758
978-0-486-49237-7
QA9.A1
511.3
32132
32132
Smullyan, Raymond M.
eng
A beginner's guide to mathematical logic
Raymond M. Smullyan
Mineola, N. Y.:
Dover Publications,
2014
iii, 284 p. ;
24 cm.
Dover books on mathematics
Bibliografie p. 263
Index p. 265
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--
Logic, Symbolic and mathematical.
IMAR
CART
511.3
EP
0
0
0
0
IMAR
IMAR
2024-03-21
Black Cat Books
60.88
Mcc 9944
0
511.3-SMU
0036545
0000-00-00 00:00:00
1
2024-03-21
CART
ACQ
31679
31679