Title: Introduction to proof in abstract mathematics
Subjects: Proof theory