Author: M. E. Szabo Gerhard Gentzen