Leon Henkin

Leon Albert Henkin (19 April 1921, in Brooklyn – 1 November 2006, in Oakland, California) was a logician at the University of California, Berkeley. He was principally known for the "Henkin's completeness proof": his version of the proof of the semantic completeness of standard systems of first-order logic.