Logic in computer science: modelling and reasoning about systems /
Huth, Michael.
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.
9780521670890 (pbk.)
Computer logic--Logic programming
005.1015113 HUT
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.
9780521670890 (pbk.)
Computer logic--Logic programming
005.1015113 HUT