Despite physicists, proof is essential in mathematics (1997)

by S M Lane
Venue:Synthese