000 00819na a2200289 4500
001 70363
003 koha_MIRAKIL
005 20200203041038.0
008 130517b tu 000 0
020 _a0262083205
040 _aCY-NiCIU
_btur
_cCY-NiCIU
041 _aeng
082 _a003.54 HAL
090 _a003.54 HAL 2003
100 _aHalpern,Joseph Y.
_d1953-
245 _aReasoning about uncertainty
_cJoseph Y. Halpern
260 _aU.S.A
_bMIT Press
_c2003
300 _aXIV, 483 p.
_bfig.
_c23.4 cm
504 _aIncludes references(435-462 p.)
504 _aIncludes index(463-483 p.)
650 _aMathematical logic
650 _aMatematiksel mantık
650 _aLogic, Symbolic and mathematical
650 _aMantık, Sembolik ve matematiksel
910 _aBook
942 _2ddc
_cBK
999 _c59909
_d59909