00383nam a2200145Ia 450000100060000000800410000602000180004704000130006508200180007810000140009624500550011026000540016530000110021954600070023021858140409s9999    xx            000 0 und d  a0-13-564139-X  cPK-LaUMT  a 511.3bBEN-M  aM.Ben-Ari  aMathematical logic For Computer SciencecM.Ben-Ari  aNew York,USA:bPrentice Hall International,c1993  a305 p.  aEN