Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
- 1 March 1964
- journal article
- Published by Springer Science and Business Media LLC in Archive for Mathematical Logic
- Vol. 7 (1-2), 45-60
- https://doi.org/10.1007/bf01972460
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen ZahlentheorieMathematische Annalen, 1943