Title: Concepts of Proof in Mathematics, Philosophy, and Computer Science
Subjects: Proof theory