Leon Henkin (19 April 1921 - 1 November 2006) was a logician at the University of California, Berkeley. He was principally known for the "Henkin Completeness Proof": his version of the proof of the semantic completeness of standard systems of first-order logic.
|