scientific article; zbMATH DE number 3507979

zbMath0324.68053MaRDI QIDQ4088305

Wolfgang Bibel, J. F. Schreiber

Publication date: 1975

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Classical first-order logic (03B10) Proof theory and constructive mathematics (03F99)

Related Items

Tautology testing with a generalized matrix reduction method, An experimental logic based on the fundamental deduction principle, Non-resolution theorem proving, Towards the automation of set theory and its logic, A comparative study of several proof procedures, Reminiscences of Kurt Schütte, From Schütte’s Formal Systems to Modern Automated Deduction