A Logical Introduction to Proof - Cunningham (Springer New York, 2013)