Ulrich Wilhelm Kohlenbach (* 27. Juli 1962 in Frankfurt am Main) ist ein deutscher Mathematiker, der sich mit Mathematischer Logik und speziell Beweistheorie befasst.
Ulrich Kohlenbach