Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie (1943)

by G GENTZEN
Venue:Mathematische Annalen