Huth, Michael, 1962-
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.
0521652006 0521656028 (pbk.)
99015233
Computer logic.
003.3
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.
0521652006 0521656028 (pbk.)
99015233
Computer logic.
003.3