TY - GEN AU - Bloch, Ethan D. TI - Proofs and fundamentals: a first course in abstract mathematics SN - 9780817641115 U1 - 511.3 PY - 2000/// CY - 2000 PB - Birkhauser KW - SET THEORY KW - MATHEMATICS KW - MATHEMATICAL LOGIC KW - PROOF THEORY ER -