Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
Author:
- 1 March 1964
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 7 (1-2) , 45-60
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