TY  - GEN
AU  - Bloch,Ethan D
TI  - Proofs and fundamentals: a first course in abstract mathematics
SN  - 0817641114 (alk. paper)
U1  - 511.3 
PY  - 2000///
CY  - Boston
PB  - Birkhèauser
KW  - Proof theory
KW  - Set theory
ER  -