000 00451nam a22001817a 4500
003 OSt
008 111129t xxu||||| |||| 00| 0 eng d
082 _a519.85
_bBEN
100 _aBen-Ari, Moderchai 14115
245 _aMathematical logic for computer science
250 _a2nd ed
300 _a304p.
653 _aCalculus
653 _aLogic programming
942 _2ddc
_cBK
020 _a9788181283443
260 _aIndia
_bSpringer
_c2011
999 _c352674
_d352674