These are my notes for my 3TP3 "Truth and Provability" course at McMaster
university, 2012.

The course textbook is Hofstadter's "Gödel-Escher-Bach".

These notes roughly follow Hofstadter's exposition of basic logic and the
proof of Gödel's Incompleteness Theorems, adding a bit of rigour and some
further details where mandated.

The course is loosely based on notes from Matt Valeriote's version of the
course, which he taught in 2008 and 2010, and owe much to him.

The notes are written in plaintext, and should be read with a fixed-width
font.

The pdf versions have some automatic highlighting of things which look like
mathematical expressions, based on a simple regexp... this isn't very
reliable, but kind of works.

[Comments that occur in square brackets, like these, are things I don't intend
to say in class and are intended as bonus extra material for those who care to
read these notes, or as reminders to myself]

-- Martin Bays, McMaster University, 2012