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

by O B Bassler