TY  - BOOK
AU  - Gallston, Arthur W.
TI  - Logic for computer science: Foundations of automatic theorem
U1  - 511.3 GAL 
CY  - New York
ER  -