000 00429 a2200133 4500
020 _a9788181283443
082 _a510.6:004 ARI
245 _aMathematical Logic for Computer Science
_cMordechai Ben-Ari
250 _a2/e
260 _bSpringer
_cc2003
300 _a2/e.xiv,304p
100 _aAri Mordechai Ben
_91388
999 _c1332
_d1332