000 01317 a2200361 4500
001 76450
999 _c76450
_d24374
003 TR-AnTOB
005 20200812112951.0
008 091009r20032000us a b 00100 eng
010 _a00023309
020 _a0817641114 (alk. paper)
020 _a3764341114 (alk. paper)
040 _aDLC
_cDLC
_dDLC
041 _aeng
042 _apcc
050 _aQA9.54
_b.B57 2003
090 _aQA9.54 .B57 2003
100 _aBloch, Ethan D.,
_d1956-
_959718
245 0 _aProofs and fundamentals :
_ba first course in abstract mathematics /
_cEthan D. Bloch.
264 1 _aBoston :
_bBirkhauser,
_c2003.
300 _axx, 424 p. :
_bill. ;
_c25 cm.
504 _aIncludes bibliographical references (p. [405]-412) and index.
505 _aPt. I. Proofs.;
_t1. Informal Logic.;
_t2. Strategies for Proofs --
_tPt. II. Fundamentals.;
_t3. Sets.;
_t4. Functions.;
_t5. Relations.;
_t6. Infinite and Finite Sets --
_tPt. III. Extras.;
_t7. Selected Topics. 8.;
_tNumber Systems. 9.;
_tExplorations --;
_tAppendix: Properties of Numbers.
650 0 _aProof theory
_94065
650 0 _aSet theory
_959719
650 7 _aKanıt teorisi
_2etuturkob
_959720
650 7 _aKüme teorisi
_2etuturkob
_959721
902 _a0031541
903 _aMerkez kütüphane
945 _aöö,CS
942 _cBK