TY  - BOOK
AU  - Huth M.
AU  - Huth M. & Ryan M.
TI  - Logic In Computer Science: Modelling And Reasoning About Systems
U1  - 005.105113 
PY  - 2010///
PB  - Cambridge University Press
ER  -