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