|
|
|
|
|
Thursday
Apr 25, 2024
|
|
Quotes: 53419
Authors: 9969
|
|
About Leon Henkin |
|---|
 |
Leon Henkin |
|
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.
|
|
|
|
|
|
|
|
Popular Leon Henkin Quotes |
|---|
|
|
|
|
|
Events Related to Leon Henkin |
|---|
| No events so far
|
|
|
|