Huth, Michael
Logic in computer science : modelling and reasoning about systems
- 2nd ed.
- Cambridge: Cambridge University Press, 2010
- xiv, 427 p.; ill.: 25 cm.
9780521670890 (pbk)
Computer logic
Propositional logic
Predicate logic
Logic programming
Binary decision diagrams
Natural deduction
005.1 / HUT