Awards & Winners

Leon Henkin

Date of Birth 19-April-1921
Place of Birth Brooklyn
(United States of America, New York City, New York, New York-White Plains-Wayne, NY-NJ Metropolitan Division)
Nationality United States of America
Profession Mathematician
Leon Albert Henkin 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.

Awards by Leon Henkin

Check all the awards nominated and won by Leon Henkin.


Chauvenet Prize
(For his work, Are Mathematics and Logic Identical?)