Untersuchungen über das logische Schliessen (1934)

by G Gentzen
Venue:Mathematische Zeitschrift