A Beginner's Guide to Mathematical Logic
Book information
Description
Combining stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic, this new textbook for first courses in mathematical logic was written by the subject's creative master. Raymond Smullyan offers clear, incremental presentations of difficult logic concepts with creative explanations and unique problems related to proofs, propositional logic and first-order logic, undecidability, recursion theory, and other topics.
Similar books
First-order logic
Theory of Formal Systems. (AM-47), Volume 47
2016 · PDF
The Mathematics of Various Entertaining Subjects: Research in Recreational Math
2015 · PDF
A Beginner's Guide to Mathematical Logic
2014 · PDF
A Beginner's Guide to Mathematical Logic
2014 · PDF
A tao hallgat
Gödel nemteljességi tételei
2006 · PDF
El rey Arturo en busca de su perro
EPUB