The collected papers of Gerhard Gentzen, edited and translated into English by M.E. Szabo (1969)

by G Gentzen