Ulrich Kohlenbach
Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini. Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala. Tag ini diberikan pada Desember 2023. |
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
sunting- ^ 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.