Teaching
Bristol
Undergraduate
My most recent courses have been Third year: Logic (Propositional and Predicate Calculus, the Gödel Completeness
and First Incompleteness Theorems);

M32000 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)