TY  - BOOK
AU  - Socher-Ambrosis,Rolf
AU  - Johann,Patricia
TI  - DEDUCTION SYSTEMS
SN  - 0387948473
U1  - 511.3028551 
PY  - 1997///
CY  - 
PB  - Springer-Verlag, New York
KW  - Automatic Theorem Proving
N1  - Includes Index
ER  -