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