TY  - BOOK
AU  - Gallier,J.H
TI  - Logic for computer science: foundations of automatic theorem proving
SN  - 9780486780825
PY  - 2015///
CY  - New York
PB  - Dover Publication
ER  -