Leon Henkin

13 papers Journal 13
YearRankTypeTitle / Venue / Authors
1996 J jnl
The discovery of my completeness proofs.
Bull. Symb. Log.
Leon Henkin
1986 J jnl
Representable cylindric algebras.
Ann. Pure Appl. Log.
Leon Henkin, J. Donald Monk, Alfred Tarski
1963 J jnl
An Extension of the Craig-Lyndon Interpolation Theorem.
J. Symb. Log.
Leon Henkin
1957 J jnl
A Generalization of the Concept of omega-Completeness.
J. Symb. Log.
Leon Henkin
1956 J jnl
On the Definition of 'Formal Deduction'.
J. Symb. Log.
Richard Montague, Leon Henkin
1956 J jnl
Two Concepts From the Theory of Models.
J. Symb. Log.
Leon Henkin
1954 J jnl
A Generalization of the Concept of |omega-Consistency.
J. Symb. Log.
Leon Henkin
1953 J jnl
Banishing the Rule of Substitution for Functional Variables.
J. Symb. Log.
Leon Henkin
1953 J jnl
Some Notes on Nominalism.
J. Symb. Log.
Leon Henkin
1952 J jnl
Problems.
J. Symb. Log.
Heinrich Scholz, Georg Kreisel, Leon Henkin
1950 J jnl
Completeness in the Theory of Types.
J. Symb. Log.
Leon Henkin
1949 J jnl
Fragments of the Propositional Calculus.
J. Symb. Log.
Leon Henkin
1949 J jnl
The Completeness of the First-Order Functional Calculus.
J. Symb. Log.
Leon Henkin