TY - BOOK AU - Socher-Ambrosius Rolf AU - Johann Patricia TI - Deduction systems SN - 0-387-94847-3 U1 - 511.240285 PY - 1997/// CY - New York PB - Springer-Verlag KW - Automatic theorem proving KW - Deduction systems KW - Deductive mathematics ER -