2008. British Logic Colloquium, 4–6 September. The Reasoner. 2, 12 (Dec. 2008).