Title: Introduction to Mathematical Proof
Subjects: Proof theory, Logic, symbolic and mathematical