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