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

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 consistency of the Axiom of Choice, and the Generalised Continuum Hypothesis (GCH)

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

    The following is an introductory chapter on the work of Gödel, principally his work on logic rather than set theory, in the volume:
    The History of Philosophical and Formal Logic, Eds. M. Antonutti, A. Malpass, Bloomsbury, June 2017:

    Gödel, an Introduction.