000 | 00499nam a2200169Ia 4500 | ||
---|---|---|---|
008 | 150811s9999||||xx |||||||||||||| ||und|| | ||
020 | _a81 8128 344 9 | ||
040 | _aRBU, Central Library | ||
082 |
_a511.3 _bB456 |
||
100 | _aMordechai Ben-Ari | ||
245 |
_aMathematical logic for computer science _cBen-Ari,mordechai;Logic,Symbolic and mathematical |
||
250 | _a2nd ed. | ||
260 |
_aNew Delhi _bSpringer _c2001 |
||
300 | _a304p. | ||
650 | _aLogic,symbolic and mathematical | ||
942 | _cBK | ||
999 |
_c34571 _d34571 |