Proofs And Fundamentals: A First Course In Abstract Mathematics - Bloch, Ethan D. (New York Springer, 2011)