Ulrich Kohlenbach

Kohlenbach at [[Mathematical Research Institute of Oberwolfach|Oberwolfach]], 2011 Ulrich Wilhelm Kohlenbach (born 27 July 1962 in Frankfurt am Main) is a German mathematician and professor of algebra and logic at the Technische Universität Darmstadt. His research interests lie in the field of proof mining.

Kohlenbach was president of the German Association for Mathematical Logic and for Basic Research in the Exact Sciences (DVMLG) from 2008 to 2012 and president of the Association for Symbolic Logic from 2016 to 2018. Provided by Wikipedia
Showing 1 - 3 results of 3 for search 'Kohlenbach, Ulrich', query time: 0.01s Refine Results
  1. 1
    Applied proof theory: Proof interpretations and their use in mathematics/
    by Kohlenbach,Ulrich
    Published 2008
    Printed Book
  2. 2
    Applied proof theory proof interpretations and thier use in mathematics
    by Kohlenbach, Ulrich
    Published 2008
    Printed Book
  3. 3
    Applied Proof Theory: Proof Interpretations and their use in Mathematics /
    Published 2008
    Other Authors: “...Kohlenbach,, Ulrich...”
    Printed Book
Search Tools: Get RSS Feed — Email this Search