Jelasin soal Ulrich Kohlenbach dong

Ulrich Wilhelm Kohlenbach () adalah seorang matematikawan Jerman dan profesor aljabar dan logika di Technische Universität Darmstadt. Peminatan risetnya adalah bidang proof mining.