Title: A Logical Introduction to Proof
Subjects: Mathematics, Mathematics, general, Symbolic and mathematical Logic, Mathematical Logic and Foundations, Logic, symbolic and mathematical