%0 Journal Article
%A Kurt Schütte
%T Eine Grenze für die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1964
%P 45-60
%V 7
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1964__7_137771/
%F AMLG_1964__7_137771