TY  - BOOK
AU  - Gallier, Jean
TI  - Logic for Computer Science : Foundations of Automatic Theorem Proving
PY  - 1987///
CY  - New York
PB  - John Wiley & Sons
KW  - Automatic Theorem Proving
KW  - Logic, Symbolic and Mathematical
ER  -