Gerhard Gentzen

Picture of Gerhard Gentzen