2009. Two Streams in the Philosophy of Mathematics: Rival Conceptions of Mathematical Proof, 1-3 July. The Reasoner. 3, 8 (Aug. 2009).