| Title | Examinable | Term | Number of Lectures |
|---|---|---|---|
| Category Theory | Part III Examinable | Michaelmas | 24 |
| Forcing and the Continuum Hypothesis | Part III Examinable | Michaelmas | 16 |
| Model Theory | Part III Examinable | Lent | 16 |
| Logic and Computability | Part III Examinable | Lent | 24 |
