The Collected papers of Gerhard Gentzen - Gentzen, Gerhard 1909-; Szabo, M. E. (Amsterdam : North Holland, 1969)
Keywords: LOGICA, SIMBOLICA Y MATEMATICA; MATEMATICAS