Ulrich Kohlenbach
homepage: | http://www.mathematik.tu-darmstadt.de/~kohlenbach/ |
search externally: | Google Scholar, Springer, CiteSeer, Microsoft Academic Search, Scirus , DBlife |
Lecture:
lecture Proof Interpretations and Their Application to Current Mathematics as author at Conference honoring the Winners of the Kurt Gödel Research Prize Fellowships 2008 and 2011, 3193 views |