Godel's Proof

In 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems."... Comments: Helps those without pure math background (or even those with such a background)... I recommend this book for readers who want a clear and concise introduction to... The original book has been edited and some footnotes added in this edition. Read More »

Related Items

1. Introduction to Logic
2. On Formally Undecidable Propositions of Principia Mathematica and Related Systems
3. Set Theory and the Continuum Hypothesis (Dover Books on Mathematics)
4. Godel, Escher, Bach: An Eternal Golden Braid
5. Incompleteness: The Proof and Paradox of Kurt Godel (Great Discoveries)