Pages that link to "Item:Q3924173"
From MaRDI portal
The following pages link to On the Gentzen Type Formalizations (Q3924173):
Displayed 4 items.
- Programs and logics (Q1070221) (← links)
- DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations (Q1072540) (← links)
- Meeting of the Association for Symbolic Logic, Madison, 1982 (Q3313844) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Q3677726) (← links)