000 00419nam a2200169Ia 4500
001 17946
008 140405s9999 xx 000 0 und d
020 _a0-13-564139-x
040 _cPK-LaUMT
082 _a 511.3
_bBEN-M
100 _aM. Ben-Ari
245 _aMathematical logic for computer science
_cM. Ben-Ari
260 _aNew York,USA:
_bPrentice Hall,
_c1993
300 _a305 p.
546 _aEN
942 _cBK
999 _c18349
_d18349