In the past I have taught: Logic (3rd Year: Propositional
and Predicate Calculus, the Gödel Completeness
and First Incompleteness
Theorems); these are the
(unproof read) for this course.
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 2020-2021 Lectures for both these courses are available on my
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.