TY - BOOK AU - Bloch,Ethan D. TI - Proofs and fundamentals: a first course in abstract mathematics SN - 9781441971265 (alk. paper) AV - QA9.54 .B57 2011 U1 - 511.3 22 PY - 2011/// CY - New York PB - Springer KW - Proof theory KW - Set theory N1 - Includes bibliographical references (p. [345]-349) and index ER -