00729nam a2200217Ia 450000500170000000800410001702000180005804000180007604100080009408200210010210000190012324501040014225000120024626000520025830000280031065000240033865000370036265000410039965000550044070000160049520230921142620.0210716s2012    xx            000 0 und d  a9780521670890  cAIMIT LIBRARY  aeng  a005.13 22bHUTM  aHuth, Michael.  aLogic in computer science:bmodelling and reasoning about systems /cBy Michael Huth and Mark Ryan.  a2nd ed.  aNew York :bCambridge University Press ,c2012.  axiv,427p. ;bPBc24 cm.  aPropositional logic  aSemantics of propositional logic  aPredicate logic as a formal language  aImportant properties of the accessibility relation  aRyan, Mark.