Why Do We Prove Theorems (1999)

by Y Rav
Venue:Philosophia Mathematica