Gentzen, "Untersuchungen iiber das logische Schliessen," Mathematische Zeitschrift 39 (1935)

by Gerhard