TY  - BOOK
AU  - Gallier, Jean H.
TI  - Logic for computer science / Jean H. Gallier
SN  - 0471615463
U1  - 004.015113 GAL 
CY  - John Wiley & Sons
KW  - Automatic therorem proving
ER  -