Logic in computer science : modelling and reasoning about systems /

Bibliographic Details

Main Author:	Huth, Michael, 1962-
Other Authors:	Ryan, Mark, 1962-
Format:	Book
Language:	English
Published:	Cambridge, U.K. ; New York : Cambridge University Press, 2000.
Subjects:	Computer logic.