Leon Henkin
Leon Albert Henkin (19 April 1921, Brooklyn – 1 November 2006, 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.
Read more about Leon Henkin: The Completeness Proof, Early Life, Academic Career, Awards Received