The phenomenology of mathematical proof (1997)

by G C Rota
Venue:Synthese