00554nam a2200193Ia 450000500170000000800410001702000180005804000180007604100080009408200200010210000240012224500680014625000120021426000350022630000310026165000270029265000220031965000190034120230704144145.0210716s2008    xx            000 0 und d  a9788181283443  cAIMIT LIBRARY  aeng  a511.3 22bBENM  aBen-Ari, Mordechai.  aMathematical logic for computer science /cBy Mordechai Ben-Ari  a2nd ed.  aNew Delhi :bSpringer ,c2008.  axiv,304p. ;bPB :c22.5 cm  aPropositional Calculus  aLogic Programming  aTemporal Logic