No Results!

Your search - Henkin, Leon - did not match any resources.

Leon Henkin

Henkin in 1990 }}

Leon Albert Henkin (April 19, 1921, Brooklyn, New York – November 1, 2006, Oakland, California) was a logician at the University of California, Berkeley. He was principally known for "Henkin construction", his version of the proof of the semantic completeness of standard systems of first-order logic. Provided by Wikipedia