Proofs and fundamentals a first course in abstract mathematics - Bloch, Ethan D. 1956- (Birkhäuser, 2000)