M. E. Szabo Gerhard Gentzen

• The collected papers of Gerhard Gentzen. Edited by M. E. Szabo