An Introduction to Gödel's Theorems (Cambridge Introductions to Philosophy)

In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there... Comments: This is a terrific book that the reader can learn a lot from. The author... For a couple of decades now, students who had completed their first logic class... Very rigurous but simultaneously very understandable (...for this kind of... Read More »

Related Items

1. Set Theory and the Continuum Hypothesis (Dover Books on Mathematics)
2. Godel's Theorem: An Incomplete Guide to Its Use and Abuse
3. Godel's Proof
4. The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
5. Introduction to Logic