TY - GEN AU - Bloch, Ethan D., TI - Proofs and fundamentals: a first course in abstract mathematics SN - 0817641114 (alk. paper) AV - QA9.54 .B57 2003 PY - 2003/// CY - Boston PB - Birkhauser KW - Proof theory KW - Set theory KW - Kanıt teorisi KW - etuturkob KW - Küme teorisi N1 - Includes bibliographical references (p. [405]-412) and index; Pt. I. Proofs; 1. Informal Logic; 2. Strategies for Proofs --; Pt. II. Fundamentals; 3. Sets; 4. Functions; 5. Relations; 6. Infinite and Finite Sets --; Pt. III. Extras; 7. Selected Topics. 8; Number Systems. 9; Explorations --; Appendix: Properties of Numbers ER -