TY  - BOOK
AU  - Bloch,Ethan D.
TI  - Proofs and fundamentals: a first course in abstract mathematics 
SN  - 9780817641115
AV  - QA9.54  .B56 2000
PY  - 2000///
CY  - Boston
PB  - Birkhauser
KW  - Proof theory
KW  - Set theory
ER  -