Title: Proof, Logic and Formalization
Subjects: Proof theory, Logic, symbolic and mathematical