| 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. | ||
1964
|
||
1961
|
|
