Mathematician:Leon Albert Henkin

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