00569cam a22001814a 4500003000400000005001700004008004100021020002500062040000900087082002000096100001900116245010200135250001200237260005100249300003400300650003800334700001500372OSt20260706214642.0040407s2004    enka     b    001 0 eng    a9780521670890 (pbk.)  cKrea00a005.1015113 HUT1 aHuth, Michael.10aLogic 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 programming1 aRyan, Mark