eds) The nature of mathematical proof (2005)

by A Bundy, M Atiyah, A Macintyre, D MacKenzie
Venue:Phil. Trans. R. Soc. A