Title: A Logical Introduction To Proof
Subjects: Proof theory, Symbolic and mathematical Logic