TY  - BOOK
AU  - Gallier, Jean H..
TI  - Logic for Computer Science: Foundations of Automatic Theorem Proving / 
SN  - 0-471-61546-3
U1  - Bv:(R1) 
PY  - 1987///
CY  - New York-10158 : 
PB  - John Wiley & Sons, Inc. , 
KW  - Computer Science
ER  -