000 01294nam a22003977a 4500
001 0042252
003 KOHA_MİRAKIL
005 20260207003306.0
007 ta
008 130730b2008 tu |||gr||||#||||0|tur |
020 _a9786055829032
040 _aTR-BiSEU
_btur
_cTR-BiSEU
_erda
041 0 _atur
044 _ctu
050 _aQA9.54.B87
_bV45 2008
100 0 _aVelleman,Daniel.
245 1 _aKanıt nasıl yapılır :
_bBir yapısal yaklaşım/
_cVelleman,Daniel ; Daniel Velleman; çev. Mehmet Terziler, Tahsin Öner.
264 1 _aAnkara :
_bPalme Yayınları
_c2008
300 _a384 sayfa ;
_c24 cm.
336 _ametin
_btxt
_2rdacontent
337 _aaracısız
_bn
_2rdamedia
338 _acilt
_bnc
_2rdacarrier
490 1 _aPalme Yayınları ;
_v493.
500 _aDizin var.
500 _aKaynakça var.
650 0 _aMatematiksel analiz--Temeller.
_950411
650 0 _aMathematical analysis--Foundations.
_950412
650 0 _aMantık, Sembolik ve matematiksel.
_935053
650 0 _aProof theory.
_950413
650 0 _aLogic, Symbolic and mathematical.
_938601
650 0 _aProof, mathematics.
_950414
650 0 _aKanıt, matematik.
_950415
650 0 _aKanıt kuramı.
_950416
830 1 _aPalme Yayınları ;
_v493.
_92328
942 _2lcc
_cBK
999 _c42088
_d42088