00809cam a22002174a 4500003000400000005001700004008004100021020002500062040000900087082002000096100002400116245010200140250001200242260005100254300003400305650004300339700002000382942001200402999001900414952015800433OSt20260706214642.0040407s2004    enka     b    001 0 eng    a9780521670890 (pbk.)  cKrea00a005.1015113 HUT1 aHuth, Michael.941610aLogic in computer science:  modelling and reasoning about systems /cMichael Huth, and Mark Ryan.  a2nd ed.  aNew York :bCambridge University Press,c2004.  axiv, 427 p. :bill. ;c25 cm. 0aComputer logicxLogic programming94171 aRyan, Mark9418  2ddccBK  c124439d124439  00102ddc40708SIASaSRICITYLIBbSRICITYLIBd2026-07-06eAtlantic - 1214476/7g1225.00l0o005.1015113 HUTpK19459r2026-07-06 21:47:18w2026-07-06yBK