00688cam a22002174a 4500 OSt 20260706214642.0 040407s2004 enka b 001 0 eng 9780521670890 (pbk.) Krea 005.1015113 HUT Huth, Michael. 416 Logic in computer science: modelling and reasoning about systems / Michael Huth, and Mark Ryan. 2nd ed. New York : Cambridge University Press, 2004. xiv, 427 p. : ill. ; 25 cm. Computer logic Logic programming 417 Ryan, Mark 418 ddc BK 124439 124439 0 0 ddc 0 0 SIAS SRICITYLIB SRICITYLIB 2026-07-06 Atlantic - 1214476/7 1225.00 0 005.1015113 HUT K19459 2026-07-06 21:47:18 2026-07-06 BK