Leon Henkin

Leon Albert Henkin (1921–2006) was an American logician renowned for his contributions to mathematical logic, particularly model theory and type theory, with his doctoral dissertation providing a fundamental proof in the field.[2][5][7] He joined UC Berkeley in 1953, becoming a full professor in 1958 and professor emeritus upon retirement in 1991, where he excelled as a researcher, teacher, and administrator.[2][3][5] Henkin was a tireless advocate for diversity, founding programs like the Committee on Special Scholarships in 1963 to support underrepresented students in mathematics and higher education.[1][4][6]