On Cut Elimination in Intuitionistic Systems of Analysis
- 1 January 1970
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Some applications of Gentzens second consistency proofMathematische Annalen, 1969
- Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysisThe Journal of Symbolic Logic, 1966
- Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen ZahlentheorieMathematische Annalen, 1943