Mathematician:Leon Albert Henkin

Mathematician
American logician best known for Henkin's Completeness Proof.

Nationality
American

History

 * Born: 19 April 1921, Brooklyn, New York
 * Died: 1 November 2006, Oakland, California

Theorems and Definitions

 * Henkin's Completeness Proof
 * Henkin Construction
 * Henkin-Keisler Model (with )

Publications







 * 1965: The Theory of Models (with and )