Leon Henkin

Publication Activity (10 Years)

Years Active: 1949-1996
Publications (10 Years): 0

Publications

Leon Henkin
The discovery of my completeness proofs. Bull. Symb. Log. 2 (2) (1996)
Leon Henkin, J. Donald Monk, Alfred Tarski
Representable cylindric algebras. Ann. Pure Appl. Log. 31 (1986)
Leon Henkin
An Extension of the Craig-Lyndon Interpolation Theorem. J. Symb. Log. 28 (3) (1963)
Leon Henkin
A Generalization of the Concept of omega-Completeness. J. Symb. Log. 22 (1) (1957)
Leon Henkin
Two Concepts From the Theory of Models. J. Symb. Log. 21 (1) (1956)
Richard Montague, Leon Henkin
On the Definition of 'Formal Deduction'. J. Symb. Log. 21 (2) (1956)
Leon Henkin
A Generalization of the Concept of |omega-Consistency. J. Symb. Log. 19 (3) (1954)
Leon Henkin
Banishing the Rule of Substitution for Functional Variables. J. Symb. Log. 18 (3) (1953)
Leon Henkin
Some Notes on Nominalism. J. Symb. Log. 18 (1) (1953)
Heinrich Scholz, Georg Kreisel, Leon Henkin
Problems. J. Symb. Log. 17 (2) (1952)
Leon Henkin
Completeness in the Theory of Types. J. Symb. Log. 15 (2) (1950)
Leon Henkin
Fragments of the Propositional Calculus. J. Symb. Log. 14 (1) (1949)
Leon Henkin
The Completeness of the First-Order Functional Calculus. J. Symb. Log. 14 (3) (1949)