Untersuchungen über das logische (1935)

by G Gentzen
Venue:Schließen I, II, Mathematische Zeitschrift 39(1