000 00431nam a2200169Ia 4500
001 21858
008 140409s9999 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 International,
_c1993
300 _a305 p.
546 _aEN
942 _cBK
999 _c22156
_d22156