In the past I have taught: Logic (3rd Year: Propositional and Predicate Calculus, the Gödel Completeness
and First Incompleteness Theorems); the lecture notes (unproof read) for this are: here

More recently:

  • M32000 Set Theory An introductory account of the theory of ordinal and cardinal numbers leading up to the epsilon-recursion theorem, with some discussion of the axioms of set theory.

  • M1300 Axiomatic Set Theory, an introduction to Constructibility theory, and Gödel's universe L, of constructible sets.

  • (The latter two courses are available to enrolled students on Blackboard)

    The following is a chapter in a proposed volume on the work of Gödel

  • Gödel, an Introduction , here:http://www.maths.bris.ac.uk/~mapdw/Goedel-intro-3.pdf