Logic in computer science : modelling and reasoning about systems
Huth, Michael
Logic in computer science : modelling and reasoning about systems
Michael Huth, Mark Ryan
- 2nd ed
- Cambridge Cambridge University Press 2004
- xiv, 427 p. : ill. ; 25 cm
Includes bibliographical references (p. 414-417) and index