000 00389nam a2200169Ia 4500
100 _aAri/Mordechai Ben
650 _aMathematical Logic
942 _cBK
366 _f20
654 _amathematical logic
245 _aMathematical logic for computer Science
260 _bSpringer
_aNew Delhi
_c2001
082 _a511.3/ARI
_bARI
300 _a304
546 _aENGLISH
999 _c19962
_d19962