TY  - BOOK
AU  - GALLIER,JEAN H
TI  - LOGIC FOR COMPUTER SCIENCE: FOUNDATIONS OF AUTOMATIC THEOREM PROVING
SN  - KBCS
U1  - 903 
PY  - 1987///
CY  - NEW YORK
PB  - JW
N1  - PCV-2161
ER  -