The following pages link to (Q4088305):
Displaying 7 items.
- An experimental logic based on the fundamental deduction principle (Q580998) (← links)
- Tautology testing with a generalized matrix reduction method (Q1132862) (← links)
- Non-resolution theorem proving (Q1238434) (← links)
- Towards the automation of set theory and its logic (Q1253108) (← links)
- A comparative study of several proof procedures (Q1836483) (← links)
- Reminiscences of Kurt Schütte (Q5013897) (← links)
- From Schütte’s Formal Systems to Modern Automated Deduction (Q5013905) (← links)