TIM BUTTON's TEACHING
Michaelmas 2009: Cambridge Part IB Modal Logic: Complete handout Lecture 1 | Lecture 2 | Lecture 3 | Lecture 4
Lent 2010: Cambridge Part IA Formal Logic: Pending.
For more, see my faculty webpage.