The following pages link to (Q5638280):
Displayed 3 items.
- Extension of the inverse method to axiomatic theories with equality (Q1245697) (← links)
- A specialization of the form of deductions in Gentzen calculi and its applications (Q1245933) (← links)
- THE ELIMINATION OF ATOMIC CUTS AND THE SEMISHORTENING PROPERTY FOR GENTZEN’S SEQUENT CALCULUS WITH EQUALITY (Q5027662) (← links)