TY  - BOOK
AU  - Huth, Michael
AU  - Ryan , Mark
TI  - Logic in computer science: Modelling and reasoning about systems 
SN  - 052154310x
PY  - 2004///
PB  - Cambridge Univeristy Press
KW  - Computer Science
KW  - Ethics
ER  -