Logic in computer science: modelling and reasoning about systems /

Huth, Michael.

Logic in computer science: modelling and reasoning about systems / By Michael Huth and Mark Ryan. - 2nd ed. - New York : Cambridge University Press , 2012. - xiv,427p. ; PB 24 cm.

9780521670890


Propositional logic
Semantics of propositional logic
Predicate logic as a formal language
Important properties of the accessibility relation

005.13 / HUTM