Introduction to Gödel’s Theorems

An Introduction to Gödel’s Theorems (CUP 2007) 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 printing history is getting a bit complicated: you have to look at the verso of the title page to tell the printings apart.

  1. IGT was first published in 2007.
  2. It was reprinted, with a lot of corrections, in 2008.
  3. 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 …
  4. … a fourth reprinting, with further important corrections, in 2009.
  5. There was a fifth printing in 2011 which is identical to the fourth.

(Note: all these printings count as printings of the first edition. The Amazon and CUP websites do not note that there have been corrected printings, as their systems only note new editions of books, with new ISBN numbers. But order the book from either and you should get the latest printing — if not, complain direct to CUP and get the latest version. You should ask your university or other library to get the significantly improved latest reprinting, if they do not have it.)

For corrections to the various printings, go to

There are  supplementary materials for the book, also written by me, available here.

I am working on a second edition of the book due out in 2013: for info and draft chapters, see

There is also a modest page with a few links to

Comments are closed.