Logic in computer science : modelling and reasoning about systems /
Huth, Michael.
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. - Cambridge, [England] ; New York : Cambridge University Press, 2000. - xviii, 387 p. : ill. ; 25 cm.
Includes bibliographical references.
0521656028 (pbk.)
Computer logic.
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. - Cambridge, [England] ; New York : Cambridge University Press, 2000. - xviii, 387 p. : ill. ; 25 cm.
Includes bibliographical references.
0521656028 (pbk.)
Computer logic.