Proofs and Fundamentals A First Course in Abstract Mathematics - Bloch, Ethan D. (Springer New York, 2011)