Normal derivability in classical logic
- 1 January 1968
- book chapter
- Published by Springer Nature in Lecture Notes in Mathematics
- p. 204-236
- https://doi.org/10.1007/bfb0079691
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Infinitary logic and admissible setsThe Journal of Symbolic Logic, 1969
- An interpolation theorem for denumerably long formulasFundamenta Mathematicae, 1965
- Predicative Well-OrderingsStudies in Logic and the Foundations of Mathematics, 1965
- Systems of predicative analysisThe Journal of Symbolic Logic, 1964
- Kennzeichnung von Ordnungszahlen durch rekursiv erklärte FunktionenMathematische Annalen, 1954
- Algebraische und logistische Untersuchungen über freie VerbändeThe Journal of Symbolic Logic, 1951
- Beweistheoretische Erfassung der unendlichen Induktion in der ZahlentheorieMathematische Annalen, 1950
- Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen ZahlentheorieMathematische Annalen, 1943
- Die Widerspruchsfreiheit der reinen ZahlentheorieMathematische Annalen, 1936
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935