TY  - BOOK
AU  - Bloch, Ethan D
TI  - Proofs and Fundamentals: a first course in abstract mathematics
SN  - 9781441971265
U1  - 510 BLO 
PY  - 2011///
CY  - New York
PB  - Springer Verlag, Netherlands
KW  - Set theory
KW  - Proof theory
ER  -