The following pages link to (Q5679732):
Displaying 5 items.
- Evidence algorithm and inference search in first-order logics (Q286802) (← links)
- Jean van Heijenoort's contributions to proof theory and its history (Q1942094) (← links)
- Linear resolution with selection function (Q2551698) (← links)
- To Vladimir Lifschitz on His 65th Birthday (Q2900498) (← links)
- (Q4770509) (← links)
