The collected papers of Gerhard Gentzen. Edited by M. E. Szabo
Published: 1969-01-01