Logic in computer science : modelling and reasoning about systems - Huth, Michael; Ryan, Mark. (Cambridge, [England] ; New York : Cambridge University Press, 2000)
Includes bibliographical references.
Keywords: Computer logic