000 01029 am a2200289ua 4500
001 011407567
003 OSt
005 20161019124941.0
008 011105s2001 enk || 001 ||eng
015 _aGBA125259
_2bnb
020 _a9781447141280
_c€ 44.95
040 _aiiserb bhopal
_cHBA ( Recommended by Dr. Arpit Sharma)
082 0 4 _a005.131 B43M3
_223
100 1 _aBen-Ari, Mordechai
_d1948-
_914586
222 _aEECS
245 1 0 _aMathematical logic for computer science
_cby Mordechai Ben-Ari.
250 _a3rd edition
260 _aLondon :
_bSpringer,
_c2001.
300 _axv 346 p. ;
_c24 cm.
504 _aIncludes bibliographical references and indexes.
650 0 _aLogic, Symbolic and mathematical.
_914587
650 0 _aComputer science
_xMathematics.
_914588
650 0 _xMathematical Intermatque
_917074
886 2 _2ukmarc
_a900
_b10
_aBen-Ari
_hMoti
_c1948-
_xSee
_aBen-Ari, M.,
_x1948-
_z100
886 2 _2ukmarc
_a900
_b10
_aBen-Ari
_hMordechai
_c1948-
_xSee
_aBen-Ari, M.,
_x1948-
_z100
942 _2ddc
_cBK
999 _c7538
_d7538