Order: Listing date First author Impact Pub year Relevance Downloads Order
Non-Standard Analysis. Abraham Robinson J. W. Addison Leon Henkin Alfred Tarski 1969 - Journal of Symbolic Logic 34 (2):292-294. details Completeness in the Theory of Types. Leon Henkin 1950 - Journal of Symbolic Logic 15 (2):81-91. 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 1961 - In Journal of Symbolic Logic details The Completeness of the First-Order Functional Calculus. Leon Henkin 1949 - Journal of Symbolic Logic 14 (3):159-166. details Cylindric Algebras. Leon Henkin 1971 - Amsterdam: North-Holland Pub. Co.. 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 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 Maurice L'abbé. Structures Algébriques Suggérées Par la Logique Mathématique. Bulletin de la Société Mathématique de France, Vol. 86 , Pp. 299–314. [REVIEW] Leon Henkin 1971 - Journal of Symbolic Logic 36 (2):337. details Infinistic Methods. L. Henkin 1961 - Pergamon Press. details Some Remarks on Infinitely Long Formulas. L. Henkin Carol R. Karp 1965 - Journal of Symbolic Logic 30 (1):96-97. details Cylindric Algebras. Leon Henkin Alfred Tarski 1967 - Journal of Symbolic Logic 32 (3):415-416. details An Extension of the Craig-Lyndon Interpolation Theorem. Leon Henkin 1963 - Journal of Symbolic Logic 28 (3):201-216. details A Theory of Propositional Types. Leon Henkin 1963 - Fundamenta Mathematicae 52:323-334. details Bernays Paul, Beth E. W., Brouwer L. E. J., Destouches Jean-Louis, Feys R.. Discussion Générale. Les Méthodes Formelles En Axiomatique Paris Décembre 1950, Colloques Internationaux du Centre National de la Recherche Scientifique No. 36, Paris 1953, Pp. 73–74. [REVIEW] Leon Henkin 1955 - Journal of Symbolic Logic 20 (2):186. details Identity as a Logical Primitive. Leon Henkin 1975 - Philosophia 5 (1-2):31-45. 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 Problems. Heinrich Scholz G. Kreisel Leon Henkin 1952 - Journal of Symbolic Logic 17 (2):160. details Mathematical Interpretation of Formal Systems. Th Skolem G. Hasenjaeger G. Kreisel A. Robinson H. Wang L. Henkin J. Łoś 1955 - North-Holland Pub. Co.. 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 Fragments of the Propositional Calculus. Leon Henkin 1949 - Journal of Symbolic Logic 14 (1):42-48. 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 Beth E. W.. Sur le Parallélisme Logico-Mathématique. Les Méthodes Formelles En Axiomatique Paris Décembre 1950, Colloques Internationaux du Centre National de la Recherche Scientifique No. 36, Paris 1953, Pp. 27–32.Bernays Paul, Beth E. W., Robinson Abraham. Discussion. Ibid., Pp. 32–33. [REVIEW] Leon Henkin 1955 - Journal of Symbolic Logic 20 (2):184-185. details Completeness in the Theory of Types. Leon Henkin 1951 - Journal of Symbolic Logic 16 (1):72-73. 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 Categoricity of Uncountable Theories. Saharon Shelah Leon Henkin 1981 - Journal of Symbolic Logic 46 (4):866-867. details Some Notes on Nominalism. Leon Henkin 1953 - Journal of Symbolic Logic 18 (1):19-29. details A. Mostowski, with A. Grzegorczyk, S. Jaśkowski, J. Łoś, S. Mazur, H. Rasiowa, R. Sikorski. Der Gegenwärtige Stand der Grundlagenforschung in der Mathematik. Die Hauptreferate des 8. Polnischen Mathematikerkongresses Vom 6. Bis 12. September 1953 in Warschau, Deutscher Verlag der Wissenschaften, Berlin1955, Pp. 11–44. - Andrzej Mostowski, in Collaboration with A. Grzegorczyk, S. Jaśkowski, J. Łoś, S. Mazur, H. Rasiowa, and R. Sikorski. The Present State of Investigations on the Foundations of Mathematics. English Translation. Rozprawy Matematyczne No. 9. Państwowe Wydawnictwo Naukowe, Warsaw1955, 48 Pp. - A. Mostowski, with Participation of A. Grzegorczyk, J. Łoś, S. Mazur, H. Rasiowa, R. Sikorski, and S. Jaśkowski. Sovréménnoé Sostoánié Isslédovanij Po Osnovaniám Matématiki. Russian Translation. Uspéhi Matématičéskih Nauk, Vol. 9 No. 3 , Pp. 3–38. [REVIEW] Leon Henkin 1956 - Journal of Symbolic Logic 21 (4):372-373. 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 A Generalization of the Concept of Ω-Completeness. Leon Henkin 1957 - Journal of Symbolic Logic 22 (1):1-14. details Banishing the Rule of Substitution for Functional Variables. Leon Henkin 1953 - Journal of Symbolic Logic 18 (3):201-208. 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 Are Logic and Mathematics Identical? Leon Henkin 1964 - Journal of Symbolic Logic 29 (3):141-142. 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 Dedicated to My Teacher, Alonzo Church, in His 91st Year. Leon Henkin 1996 - Bulletin of Symbolic Logic 2 (2). details La Structure Algébrique des Théories Mathématiques. Leon Henkin 1956 - Gauthier-Villars. details A Letter to Reviewer. Leon Henkin 1964 - Philosophia Mathematica (2):118-119. details Review: Stanislaw Jaskowski, Sur les Variables Propositionelles Dependantes. [REVIEW] Leon Henkin 1949 - Journal of Symbolic Logic 14 (1):65-65. details Sums of Squares. Leon Henkin G. Kreisel 1966 - Journal of Symbolic Logic 31 (1):128-129. 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 The Representation Theorem for Cylindrical Algebras. L. Henkin 1957 - Journal of Symbolic Logic 22 (2):215-215. 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 Review: Marc Krasner, Les algebres cylindriques. [REVIEW] Leon Henkin 1971 - Journal of Symbolic Logic 36 (2):337-337. details An Algebraic Characterization of Quantifiers. Leon Henkin 1951 - Journal of Symbolic Logic 16 (4):290-291. details Representable cylindric algebras. Leon Henkin J. Donald Monk Alfred Tarski 1986 - Annals of Pure and Applied Logic 31 (1):23-60. details Review: Abraham Robinson, On the Metamathematics of Algebra. [REVIEW] Leon Henkin 1952 - Journal of Symbolic Logic 17 (3):205-207. 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
