This page collects some of my handouts and lecture notes. Please feel free to reuse them in your own teaching.
- The compactness and Löwenheim–Skolem theorems. Handout for Formal Methods graduate seminar, 2012.
History of logic
- The life and work of Alfred Tarski. Expanded version of a lecture given at Bristol in May 2012, now forthcoming in The History of Philosophical and Formal Logic: From Aristotle to Tarski, Bloomsbury, 2016.