Title: Sombrero for a rationalist [or] What is a mathematical proof?
Subjects: Symbolic and mathematical Logic