An Introduction to Gödel's Theorems (Cambridge Introductions to Philosophy)
An extensively rewritten second edition of this best-selling standard text for graduates and upper-level undergraduate students of logic, philosophy of mathematics, and pure mathematics. A clear and accessible treatment of Gödel's famous, intriguing, but much misunderstood incompleteness theorems.