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