TY  - BOOK
AU  - Gallier,Jean H.
TI  - Logic for computer science:foundations of automatic theorem proving 
SN  - 9780486780825 
U1  - 004.421 
PY  - 2015///
CY  - New York
PB  - Dover Publication
KW  - Automatic theorem proving
KW  - Logic, Symbolic and mathematical
ER  -