TY  - BOOK
AU  - Gallier, Jean H.
TI  - Logic for computer science: foundations of automatic theorem proving
SN  - 9780486780825
U1  -  511.36028563 
PY  - 2015///
CY  - Mineola
PB  - Dover Publications
ER  -