Deduction systems - Socher-Ambrosius Rolf; Johann Patricia (New York Springer-Verlag, 1997)
Keywords: Automatic theorem proving; Deduction systems; Deductive mathematics