Title: Explanation and Proof in Mathematics
Subjects: Proof theory, Mathematics, philosophy