000 00397nam a2200157Ia 4500
008 180424s9999 xx 000 0 und d
020 _a8181283449
084 _a510.78 B288
100 _a"Ben-Ari, Mordechai"
245 0 _aMathematical Logic for Computer Science
250 _a\\200502ENGGPCX
260 _b2005
300 _a304p.
500 _aincludes index and biblioraphy
942 _cBK
999 _c79954
_d79954