Logical introduction to proof - Cunningham, Daniel W. (Springer, 2012)