TY  - GEN
AU  - Huth, Michael
TI  - Logic In Computer Science
SN  - 978-0-521-67089-0
U1  - 004.22 
PY  - 2016///
CY  - Wellesley
PB  - Cambridge University Press
ER  -