Untersuchungen über das logische Schließen (1934)

by G Gentzen