Eine Grenze für die Beweisebarkeit der transfinitien Induction in der verzweigten Typenlogik, Archiv für mathematische Logik und Grundlagenforschung (7 (1965)

by K Schütte