What is a proof (2005)

by A Bundy, M Jamnik, A Fugard
Venue:Philosophical Transactions of the Royal Society, A