Roger Schoenberger

• Gentzen's second consistency of proof and predicative analysis