Other course material
- The compactness and Löwenheim–Skolem theorems. Lecture handout for an MA course on formal methods at the University of Bristol, 2012.
- A survey of some of Alfred Tarski’s work in logic. Expanded version of a lecture given at Bristol in May 2012, now published in The History of Philosophical and Formal Logic: From Aristotle to Tarski, Bloomsbury Academic, 2017.