Introduction to proof in abstract mathematics - Wohlgemuth, Andrew (Dover, 2011)