Title: Proof and Knowledge in Mathematics
Subjects: Logic, symbolic and mathematical, Mathematics, philosophy