Proofs and fundamentals a first course in abstract mathematics - Bloch, Ethan D. 1956- (Undergraduate texts in mathematics, 2011)