Logic in computer science : modelling and reasoning about systems - Huth, Michael; Ryan, Mark . (Cambridge : Cambridge University Press, 2004)
Includes bibliography and index
Keywords: COMPUTER MODELING