TY  - BOOK
AU  - Huth, Michael.
AU  - Ryan, Mark.
TI  - Logic in computer science: modelling and reasoning about systems 
SN  - 9780521670890
U1  - 005.13  2
PY  - 2012///
CY  - New York
PB  - Cambridge University Press
KW  - Propositional logic
KW  - Semantics of propositional logic
KW  - Predicate logic as a formal language
KW  - Important properties of the accessibility relation
ER  -