Bloch,Ethan D. Proofs and fundamentals: a first course in abstract mathematics/ Ethan D. Bloch - 2nd ed.- - New York: Springer, 2011 - xxiv,359p. ISBN: 9781441971265 Subjects--Index Terms: Set theory Proof theory Universal Decimal Class. No.: 510.22 / BLO