TY  - BOOK
AU  - Huth, Michael.
TI  - Logic in Computer Science
SN  - 9780521670890
PY  - 2021///
PB  - Classics
ER  -