University of Guyana Library

Normal view MARC view ISBD view

Huth, Michael

Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. - 2nd ed. - Cambridge: Cambridge University P., 2004 - xiv, 427 p.

Bibliography : 414 - 417

ISBN: 9780521543101(pbk.)

LCCN:

Subjects--Topical Terms:
Computer logic.
Logic programming.

LC Class. No.: QA76 .63 / H87 2004

Dewey Class. No.: