Reinhard Kahle

1967

• Gentzen's Centenary
• Proof theory in computer science