Introduction to Gödel’s Theorems

Second edition now out! Buy IGT2 via CUP | Amazon UK | Amazon USA | Amazon IT

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 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:


Comments are closed.