A logical introduction to proof - Cunningham, Daniel Wendell (Springer, 2012)