Barendregt studied mathematical logic at Utrecht University, obtaining his Masters in 1968 and his Ph.D. in 1971, both cum laude, under Dirk van Dalen and Georg Kreisel.
Henk Lauwers | Henk Rogers | Henk Westbroek | Henk Volberda | Henk Vogels | Henk ten Cate | Henk Meijer | Henk Badings | Henk van Kessel | Henk van der Grift | Henk Tijms | Henk Sneevliet |