TY  - BOOK
AU  - GALLIER JEAN H
TI  - Logic For Computer Science Foundations of Automatic theorem Proving
SN  - 10987654321
PY  - 1987///
CY  - New York
PB  - John Wiley & sons
KW  - Logic For Computer Science
KW  - Computer science automatic theorem perform logic;symbolic mathematics
ER  -