Proof Theory: Some Applications of Cut-Elimination
- 1 January 1977
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- A survey of proof theoryThe Journal of Symbolic Logic, 1968
- Reflection Principles and their Use for Establishing the Complexity of Axiomatic SystemsMathematical Logic Quarterly, 1968
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTESDialectica, 1958
- Mathematical significance of consistency proofsThe Journal of Symbolic Logic, 1958
- Extension of an effectively generated class of functions by enumerationColloquium Mathematicum, 1958
- On the interpretation of non-finitist proofs–Part IIThe Journal of Symbolic Logic, 1952
- Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen ZahlentheorieMathematische Annalen, 1943