An ebook version is also available from the publishers.
An Introduction to Gödel’s Theorems (CUP 2007; second edn. 2013, now available) is published in a relatively inexpensive series, ‘Cambridge Introductions to Philosophy’. But don’t let that mislead you. IGT is actually a fairly techie logic book, intended for advanced undergraduates and postgraduates: it is long and full of theorems. Still, it does aim to give a relatively 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. You can also freely download a draft of the first chapter which gives an almost stand-alone introductory informal presentation.
IGT2 is some 25 pages longer than IGT1, the first edition — but this isn’t because of the addition of a significant amount of new material, but is due to a lot of rewriting to make the book even more reader-friendly. If you are the proud owner of the first edition, you are warmly recommended to “upgrade” to the second edition: and certainly, you should ask your librarian to speedily replace copies of the first edition with copies of the second.
For a handful of small corrections for IGT2 (thanks to Leszek Wroński) see here.
For the many needed corrections to the various printings of IGT1, see here.
New for the second edition, I’m now starting to produce sets of exercises and solutions:
There are further supplementary materials for the book:
- Gödel Without (Too Many) Tears: notes that I have used when teaching from the first edition of the book (most recently in 2011).
- Further notes and handouts.
- What to read before, after, or instead of IGT2
- Other web materials on Gödel’s theorems [in preparation]