A Logical Introduction to Proof - Cunningham, Daniel W. (Springer New York : Imprint: Springer, 2013)