On the idea of a general proof theory
- 1 January 1974
- journal article
- Published by Springer Nature in Synthese
- Vol. 27 (1-2) , 63-77
- https://doi.org/10.1007/bf00660889
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Towards A Foundation of A General Proof TheoryPublished by Elsevier ,1973
- Ideas and Results in Proof TheoryPublished by Elsevier ,1971
- Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des TypesPublished by Elsevier ,1971
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935
- Über das UnendlicheMathematische Annalen, 1926