The surveyability of mathematical proof: A historical perspective. Synthese (2006)

by O B Bassler