Ulrich Kohlenbach · 3 obras en el catálogoObrasLogic, Language, Information, and ComputationLLogic Colloquium 2007Logic Colloquium 2007AApplied Proof TheoryApplied Proof Theory