Leon Henkin

American logician

Leon Albert Henkin, the American logician whose work advanced the theory of types and logic, was born today in 1921.