01400nam a2200277Ia 450000500170000000800410001702000180005804000180007604100080009408200210010210000270012324501040015025000120025426000520026630000280031865000320034665000450037865000490042365000630047270000240053594200340055999900190059395201740061295201680078695201680095420230921142620.0210716s2012    xx            000 0 und d  a9780521670890  cAIMIT LIBRARY  aeng  a005.13 22bHUTM  aHuth, Michael.9134366  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 logic9134367  aSemantics of propositional logic9134368  aPredicate logic as a formal language9134369  aImportant properties of the accessibility relation9134370  aRyan, Mark.9134371  2ddccBKe2nd ed.k005.13 HUTM  c193302d193302  00102ddc40708MCAaAIMITbAIMITeHigginbothams Pvt Ltdg595.00iBill no:540; Bill dt:2013-04-03l0o005.13 HUTMpMCA12810r2025-07-21 00:00:00v446.25w2021-07-16yBK  00102ddc40708MCAaAIMITbAIMITeKnowledge Worldg595.00iBill no:173; Bill dt:2014-07-12l0o005.13 HUTMpMCA13501r2025-07-21 00:00:00v446.25w2021-07-16yBK  00102ddc40708MCAaAIMITbAIMITeKnowledge Worldg795.00iBill no:445; Bill dt:2015-03-20l0o005.13 HUTMpMCA14092r2025-07-21 00:00:00v596.25w2021-07-16yBK