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