Beweisbarkeit und Undbeweisbarkeit von anfangsfallen des transfiniten Induktion in der reinen Zahlentheorie (1943)

by Gerhard Gentzen
Venue:Mathematische Annallen