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 |