Leon Henkin
3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Cylindric Algebras, Part I
Leon Henkin and others (1971) · North-Holland
Completeness in the Theory of Types
Leon Henkin (1950) · The Journal of Symbolic Logic
The completeness of the first-order functional calculus
Leon Henkin (1949) · The Journal of Symbolic Logic