Introduction to Gödel’s Theorems
An Introduction to Gödel’s Theorems (CUP 2007/2009) is published in a relatively inexpensive series, ‘Cambridge Introductions to Philosophy’. But don’t let that mislead you. It is a fairly techie logic book, for advanced undergraduates/postgraduates: it is full of theorems. Still, it does aim to give a relaxed and approachable exposition of the technicalities, and it does also provide a modest amount of commentary on the interpretation and significance of the theorems. You can get more idea of what the book covers by clicking on the thumbnail of its cover to go to the publisher’s page.
The book’s publication history is getting a bit complicated: you have to look at the verso of the title page to tell the printings apart.
- IGT was first published in 2007.
- It was reprinted, with a lot of corrections, in 2008.
- There was a third reprint in 2008, which most unfortunately was of the original uncorrected version. As soon as this was discovered — but not after copies had been let out into the wild! — it was superseded by …
- … a fourth reprinting, with further important corrections, in 2009.
You should ask your library to get the significantly improved fourth reprinting, if they do not have it. For corrections to the first two printings, and for corrections needed to the latest version, go to
There are three sorts of supplementary materials for the book, also written by me, available here.
- Notes under the encouraging title Gödel Without (Too Many) Tears that I use when teaching from the book.
- Exercises.
- Further notes and handouts.
There is also a modest page with a few links to
