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. (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.