| Title | Examinable | Term | Number of Lectures |
|---|---|---|---|
| Model Theory | Part III Examinable | Michaelmas | 16 |
| The Continuum Hypothesis | Part III Examinable | Michaelmas | 16 |
| Logic and Computability | Part III Examinable | Lent | 24 |
| Homotopy Type Theory | Part III Non-Examinable | Lent | 16 |
