Ulrich Kohlenbach

• Logic, Language, Information, and Computation
• Applied Proof Theory
• Logic Colloquium 2007