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.] : Cambridge University Press, 2004. - xiv, 427 p. : ill. ; 25 cm.
Includes bibliographical references (p. 414-417) and index.
052154310X (pbk.) 9780521543101
Computer logic.
Logic programming (Computer science)
005.101
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. - 2nd ed. - Cambridge [U.K.] : Cambridge University Press, 2004. - xiv, 427 p. : ill. ; 25 cm.
Includes bibliographical references (p. 414-417) and index.
052154310X (pbk.) 9780521543101
Computer logic.
Logic programming (Computer science)
005.101