Ulrich Kohlenbach


Ulrich Kohlenbach

Ulrich Wilhelm Kohlenbach (lahir 27 Juli 1962) adalah seorang matematikawan Jerman dan profesor aljabar dan logika di Technische Universität Darmstadt. Peminatan risetnya adalah bidang proof mining.[1]

Referensi

  1. ^ U. Kohlenbach (2008). Applied Proof Theory: Proof Interpretation and their Use in Mathematics. Springer Verlag - Springer Monographs in Mathematics. ISBN 978-3-540-77532-4. 

Pranala luar