Logic in computer science: modelling and reasoning about systems/
Huth, Michael 1962-
Logic in computer science: modelling and reasoning about systems/ Michael Huth, Mark Ryan. - 2nd ed. - Cambridge [U.K.]; New York: Cambridge University Press, 2004. - xiv, 427 p.: ill.; 25 cm.
Includes bibliographical references (p. 414-417) and index.
052154310X (pbk.) 9780521543101 (pbk.)
2004045921
Computer logic.
Logic programming (Computer science)
Logique informatique.
Wiskundige logica.
Informatica.
005.131 / H979l
Logic in computer science: modelling and reasoning about systems/ Michael Huth, Mark Ryan. - 2nd ed. - Cambridge [U.K.]; New York: Cambridge University Press, 2004. - xiv, 427 p.: ill.; 25 cm.
Includes bibliographical references (p. 414-417) and index.
052154310X (pbk.) 9780521543101 (pbk.)
2004045921
Computer logic.
Logic programming (Computer science)
Logique informatique.
Wiskundige logica.
Informatica.
005.131 / H979l