Introduction to proof in abstract mathematics - Wohlgemuth, Andrew (New York Dover, 2011)
Keywords: PROOF THEORY