000 01277na aa2200301 a 4500
001 39951
008 131125s2013 tu m b001 0 eng d
020 _a9786055250225
_qpaperback
035 _a(OCoLC)
040 _aT9K
_cT9K
_erda
_dBGZ
_dBAUN
_beng
049 _aBAUN_MERKEZ
050 0 4 _aQA39.3
_b.M67 2013
100 1 _aMostafazadeh, Ali,
245 1 2 _aA first course in abstract mathematics /
_cA. Mostafazadeh.
264 1 _aİstanbul :
_bKoç University,
_c2013.
300 _aviii, 279 pages ;
_c26 cm.
336 _atext
_2rdacontent.
_btxt
337 _aunmediated
_2rdamedia.
_bn
338 _avolume
_2rdacarrier.
_bnc
490 1 _aKoç University Press ;
_v39.
500 _aIncludes index.
505 _tPreface
_tIntroduction
_tElements of Logic
_tTheorem Types and Proof Methods
_tSets
_tRelations
_tFunctions
_tCardinal Numbers
_tMathematical Theories
_tAppendix A Total Ordering of N
_tAppendix B Constructing Z and Q
_tAppendix C Power Set of a Finite Set
_tAppendix D Countable Union o Countable Sets
_tAppendix E Cantor-Schröder-Bernstein Theorem
_tIndex
650 0 _aMathematics
_99216
710 2 _91795
_aKoç Üniversitesi.
830 0 _924448
_aKoç Üniversitesi Yayınları ;
_v39.
907 _aKoç Üniversitesi
942 _2lcc
_cKT
999 _c38573
_d38573