00568nam a2200181 a 4500001001400000003000700014005001700021008004100038020002500079020002200104040000800126100002500134245007300159260005100232300003400283504005000317650001900367vtls000072322KUKTEM20251125093730.0130619t2009    enka   f      001 0 eng d  a9780521899574 (hbk.)  a0521899575 (hbk.)  aUMP1 aHarrison, J.q(John)10aHandbook of practical logic and automated reasoning /cJohn Harrison  aCambridge :bCambridge University Press,c2009  axix, 681 p. :bill. ;c25 cm.  aIncludes bibliographical references and index 0aComputer logic