TY  - BOOK
AU  - Gallier Jean H
TI  - Logic for computer science: Fundations of automatic theorem proving
T2  - Harper and row computer science and technology series
U1  - B:(R1), M6 
PY  - 1986///
CY  - New York    
PB  -  Harper & Row      
KW  - Mathematical logic
ER  -