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