Order: Listing date First author Impact Pub year Relevance Downloads
Order
Completeness in the Theory of Types. Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91. details
Some Remarks on Infinitely Long Formulas. L. Henkin - 1961 - In Journal of Symbolic Logic . Pergamon Press. pp. 167--183. details
The Completeness of the First-Order Functional Calculus. Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166. details
Completeness in the Theory of Types. Leon Henkin - 1950 - Journal of Symbolic Logic 16 (1):72-73. details
Cylindric Algebras. Leon Henkin - 1971 - Amsterdam: North-Holland Pub. Co.. details
Cylindric Algebras. Part I. Leon Henkin , J. Donald Monk , Alfred Tarski , L. Henkin , J. D. Monk & A. Tarski - 1985 - Journal of Symbolic Logic 50 (1):234-237. details
Cylindric Algebras. Part II. Leon Henkin , J. Donald Monk & Alfred Tarski - 1988 - Journal of Symbolic Logic 53 (2):651-653. details
Some Remarks on Infinitely Long Formulas. L. Henkin & Carol R. Karp - 1965 - Journal of Symbolic Logic 30 (1):96-97. details
Infinistic Methods. L. Henkin - 1961 - Pergamon Press. details
Cylindric Algebras. Leon Henkin & Alfred Tarski - 1967 - Journal of Symbolic Logic 32 (3):415-416. details
A Theory of Propositional Types. Leon Henkin - 1963 - Fundamenta Mathematicae 52:323-334. details
A Generalization of the Concept of Ω-Consistency. Leon Henkin - 1954 - Journal of Symbolic Logic 19 (3):183-196. details
The Discovery of My Completeness Proofs. Leon Henkin - 1996 - Bulletin of Symbolic Logic 2 (2):127-158. details
An Extension of the Craig-Lyndon Interpolation Theorem. Leon Henkin - 1963 - Journal of Symbolic Logic 28 (3):201-216. details
The Completeness of the First-Order Functional Calculus. Leon Henkin - 1950 - Journal of Symbolic Logic 15 (1):68-68. details
Problems. Heinrich Scholz , G. Kreisel & Leon Henkin - 1952 - Journal of Symbolic Logic 17 (2):160. details
Mathematical Interpretation of Formal Systems. Thoralf Skolem , G. Hasenjaeger , G. Kreisel , A. Robinson , Hao Wang , L. Henkin & J. Łoś (eds.) - 1955 - Amsterdam, Netherlands: North-Holland Pub. Co.. details
Fragments of the Propositional Calculus. Leon Henkin - 1949 - Journal of Symbolic Logic 14 (1):42-48. details
Identity as a Logical Primitive. Leon Henkin - 1975 - Philosophia 5 (1-2):31-45. details
Logic with Denumerably Long Formulas and Finite Strings of Quantifiers. Dana Scott , J. W. Addison , Leon Henkin & Alfred Tarski - 1971 - Journal of Symbolic Logic 36 (1):157-158. details
Some Notes on Nominalism. Leon Henkin - 1953 - Journal of Symbolic Logic 18 (1):19-29. details
Finite Approximations of Infinitely Long Formulas. H. Jerome Keisler , J. W. Addison , Leon Henkin & Alfred Tarski - 1969 - Journal of Symbolic Logic 34 (1):129-130. details
Banishing the Rule of Substitution for Functional Variables. Leon Henkin - 1953 - Journal of Symbolic Logic 18 (3):201-208. details
Review: Laszlo Kalmar, Une Forme du Theoreme de Godel Sous des Hypotheses Minimales; Laszlo Kalmar, Quelques Formes Generales du Theoreme de Godel. [REVIEW] Leon Henkin - 1950 - Journal of Symbolic Logic 15 (3):230-230. details
Logical Systems Containing Only a Finite Number of Symbols. Leon Henkin - 1967 - Montreal, Presses De l'Université De Montréal. details
A Generalization of the Concept of Ω-Completeness. Leon Henkin - 1957 - Journal of Symbolic Logic 22 (1):1-14. details
La Structure Algébrique des Théories Mathématiques. Leon Henkin - 1956 - Gauthier-Villars. details
Measurement, Empirical Meaningfulness, and Three-Valued Logic. Patrick Suppes , J. W. Addison , Leon Henkin & Alfred Tarski - 1970 - Journal of Symbolic Logic 35 (1):129-131. details
Cylindric Set Algebras. L. Henkin , J. D. Monk , A. Tarski , H. Andréka & I. Németi - 1986 - Studia Logica 45 (2):223-225. details
A Löwenheim-Skolem Theorem for Cardinals for Apart. R. L. Vaught , J. W. Addison , Leon Henkin & Alfred Tarski - 1968 - Journal of Symbolic Logic 33 (3):476-477. details
The Representation Theorem for Cylindrical Algebras. L. Henkin - 1957 - Journal of Symbolic Logic 22 (2):215-215. details
Proceedings of the Tarski Symposium: An International Symposium to Held to Honor Alfred Tarski on the Occasion of His Seventieth Birthday. Leon Henkin , C. C. Chang John Addison , Dana Scott William Craig & Robert Vaught (eds.) - 1974 - Providence, RI, USA: American Mathematical Society. details
Review: Antonio Monteiro, Matrices de Morgan Caracteristiques pour le Calcul Propositionnel Classique. [REVIEW] Leon Henkin - 1963 - Journal of Symbolic Logic 28 (2):174-175. details
Categoricity of Uncountable Theories. Saharon Shelah & Leon Henkin - 1981 - Journal of Symbolic Logic 46 (4):866-867. details
The Fraenkel-Mostowski Method for Independence Proofs in Set Theory. J. W. Addison , Leon Henkin , Alfred Tarski & Paul E. Howard - 1975 - Journal of Symbolic Logic 40 (4):631-631. details
Are Logic and Mathematics Identical? Leon Henkin - 1964 - Journal of Symbolic Logic 29 (3):141-142. details
An Algebraic Characterization of Quantifiers. Leon Henkin - 1951 - Journal of Symbolic Logic 16 (4):290-291. details
Review: Stanislaw Jaskowski, Sur les Variables Propositionelles Dependantes. [REVIEW] Leon Henkin - 1949 - Journal of Symbolic Logic 14 (1):65-65. details
Review: Abraham Robinson, On the Metamathematics of Algebra. [REVIEW] Leon Henkin - 1952 - Journal of Symbolic Logic 17 (3):205-207. details
Sums of Squares. Leon Henkin & G. Kreisel - 1966 - Journal of Symbolic Logic 31 (1):128-129. details
The Theory of Models: Proceedings of the 1963 International Symposium at Berkeley. John West Addison , Leon Henkin & Alfred Tarski - 1965 details
La structure algébrique des théories mathématiques. Leon Henkin - 1958 - Studia Logica 7:283-286. details
An Extension of the Craig-Lyndon Interpolation Theorem. Leon Henkin - 1965 - Journal of Symbolic Logic 30 (1):98-99. details
Chauvin Andre. Structure Logiques. Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences , Vol. 222 , Pp. 1085–1087. [REVIEW] Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):193-193. details
Kreisel G.. On a Problem of Henkin's. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, Vol. 56 , Pp. 405–406; Also Indagationes Mathematicae, Vol. 15 , Pp. 405–406. [REVIEW] Leon Henkin - 1954 - Journal of Symbolic Logic 19 (3):219-220. details
Representable cylindric algebras. Leon Henkin , J. Donald Monk & Alfred Tarski - 1986 - Annals of Pure and Applied Logic 31:23-60. details
Review: Marc Krasner, Les algebres cylindriques. [REVIEW] Leon Henkin - 1971 - Journal of Symbolic Logic 36 (2):337-337. details
Fragments of Propositional Calculus. Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):197-198. details
M. H. Stone. Free Boolean Rings and Algebras. Anais da Academia Brasileira de Ciências, Vol. 26 , Pp. 9–17. Leon Henkin - 1967 - Journal of Symbolic Logic 32 (3):415. details
Dedicated to My Teacher, Alonzo Church, in His 91st Year. Leon Henkin - 1996 - Bulletin of Symbolic Logic 2 (2). details
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
RSS feed