What is a proof?
β
Bundy, Alan; Jamnik, Mateja; Fugard, Andrew
π
Article
π
2005
π
The Royal Society
π
English
β 275 KB