Die Widerspruchsfreiheit der Stufenlogik (1936)

by G Gentzen
Venue:Mathematische Zeitschrift