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