Untersuchungen "uber das Logische Schliessen I und II. Mathematische Zeitschrift (1935)

by G Gentzen