Zur Widerspruchsfreiheit einer typenfreien Logik
- 1 December 1952
- journal article
- Published by Springer Nature in Mathematische Annalen
- Vol. 125 (1) , 394-400
- https://doi.org/10.1007/bf01343133
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Widerspruchsfreier Aufbau einer typenfreien LogikMathematische Zeitschrift, 1952
- Algebraische und Logistische Untersuchungen Uber Freie Verbande.The Journal of Symbolic Logic, 1951
- Beweistheoretische Untersuchung der verzweigten AnalysisMathematische Annalen, 1951
- Beweistheoretische Erfassung der unendlichen Induktion in der ZahlentheorieMathematische Annalen, 1950
- Schlußweisen-Kalküle der PrädikatenlogikMathematische Annalen, 1950