Publication:4088305
From MaRDI portal
zbMath0324.68053MaRDI QIDQ4088305
Wolfgang Bibel, J. F. Schreiber
Publication date: 1975
Related Items
Reminiscences of Kurt Schütte, From Schütte’s Formal Systems to Modern Automated Deduction, An experimental logic based on the fundamental deduction principle, Tautology testing with a generalized matrix reduction method, Non-resolution theorem proving, Towards the automation of set theory and its logic, A comparative study of several proof procedures