Fragments of the Propositional Calculus. - Leon Henkin (J. Symb. Log., 1949)

The Completeness of the First-Order Functional Calculus. - Leon Henkin (J. Symb. Log., 1949)

Completeness in the Theory of Types. - Leon Henkin (J. Symb. Log., 1950)

Problems. - Heinrich Scholz; Georg Kreisel; Leon Henkin (J. Symb. Log., 1952)

Some Notes on Nominalism. - Leon Henkin (J. Symb. Log., 1953)

Banishing the Rule of Substitution for Functional Variables. - Leon Henkin (J. Symb. Log., 1953)

A Generalization of the Concept of |omega-Consistency. - Leon Henkin (J. Symb. Log., 1954)

Two Concepts From the Theory of Models. - Leon Henkin (J. Symb. Log., 1956)

On the Definition of 'Formal Deduction'. - Richard Montague; Leon Henkin (J. Symb. Log., 1956)

A Generalization of the Concept of omega-Completeness. - Leon Henkin (J. Symb. Log., 1957)

An Extension of the Craig-Lyndon Interpolation Theorem. - Leon Henkin (J. Symb. Log., 1963)

Representable cylindric algebras. - Leon Henkin; J. Donald Monk; Alfred Tarski (Ann. Pure Appl. Log., 1986)

The discovery of my completeness proofs. - Leon Henkin (Bull. Symb. Log., 1996)