Leon Henkin
American logician
Leon Albert Henkin was an American logician, whose works played a strong role in the development of logic, particularly in the theory of types. He was an active scholar at the University of California, Berkeley, where he made great contributions... Wikipedia
Born: April 19, 1921, United States
Died: November 1, 2006 (age 85 years), Oakland, CA
Academic advisor: Alonzo Church