This page collects some of my handouts and lecture notes. Please feel free to reuse them in your own teaching.
- Computability and randomness. Lecture notes for an MA course at the Munich Center for Mathematical Philosophy, summer 2019.
- The compactness and Löwenheim–Skolem theorems. Handout for a graduate seminar at the University of Bristol, 2012.
History of logic
- The life and work of Alfred Tarski. 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.