139 found
Order:
  1. Completeness in the Theory of Types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
  2.  31
    Cylindric Algebras.Leon Henkin - 1971 - Amsterdam: North-Holland Pub. Co..
    Volume I provides a detailed analysis of cylindric algebras, starting with a formulation of their axioms and a development of their elementary properties, and proceeding to a deeper study of their interrelationships by means of general algebraic notions such as subalgebras, homomorphisms, direct products, free algebras, reducts and relativized algebras.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   25 citations  
  3.  79
    The Completeness of the First-Order Functional Calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
  4.  21
    Cylindric Algebras. Part II.Leon Henkin, J. Donald Monk & Alfred Tarski - 1988 - Journal of Symbolic Logic 53 (2):651-653.
  5.  9
    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.
  6.  50
    The Discovery of My Completeness Proofs.Leon Henkin - 1996 - Bulletin of Symbolic Logic 2 (2):127-158.
  7. A Generalization of the Concept of |Omega-Consistency.Leon Henkin - 1954 - Journal of Symbolic Logic 19 (3):183 - 196.
  8.  20
    An Extension of the Craig-Lyndon Interpolation Theorem.Leon Henkin - 1963 - Journal of Symbolic Logic 28 (3):201-216.
  9.  5
    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.
  10.  45
    On the Definition of `Formal Deduction'.Richard Montague & Leon Henkin - 1956 - Journal of Symbolic Logic 21 (2):129-136.
  11. A Theory of Propositional Types.Leon Henkin - 1963 - Fundamenta Mathematicae 52:323-334.
     
    Export citation  
     
    My bibliography   9 citations  
  12.  30
    Problems.Heinrich Scholz, G. Kreisel & Leon Henkin - 1952 - Journal of Symbolic Logic 17 (2):160.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  13.  6
    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.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography   9 citations  
  14.  35
    Identity as a Logical Primitive.Leon Henkin - 1975 - Philosophia 5 (1-2):31-45.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  15.  45
    Dedicated to My Teacher, Alonzo Church, in His 91st Year.Leon Henkin - 1996 - Bulletin of Symbolic Logic 2 (2).
  16.  7
    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.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  17.  13
    Review: Antonio Monteiro, Matrices de Morgan Caracteristiques pour le Calcul Propositionnel Classique. [REVIEW]Leon Henkin - 1963 - Journal of Symbolic Logic 28 (2):174-175.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography   4 citations  
  18.  7
    La Structure Algébrique des Théories Mathématiques.Leon Henkin - 1956 - Gauthier-Villars.
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography   4 citations  
  19.  21
    Some Notes on Nominalism.Leon Henkin - 1953 - Journal of Symbolic Logic 18 (1):19-29.
  20.  56
    A Letter to Reviewer.Leon Henkin - 1964 - Philosophia Mathematica (2):118-119.
  21. Logical Systems Containing Only a Finite Number of Symbols.Leon Henkin - 1967 - Montreal, Presses De l'Université De Montréal.
  22.  4
    Categoricity of Uncountable Theories.Saharon Shelah & Leon Henkin - 1981 - Journal of Symbolic Logic 46 (4):866-867.
  23.  20
    Fragments of the Propositional Calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (1):42-48.
  24.  5
    A Generalization of the Concept of Ω-Consistency.Leon Henkin - 1954 - Journal of Symbolic Logic 19 (3):183-196.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  25.  19
    Banishing the Rule of Substitution for Functional Variables.Leon Henkin - 1953 - Journal of Symbolic Logic 18 (3):201-208.
  26.  11
    Review: Stanislaw Jaskowski, Sur les Variables Propositionelles Dependantes. [REVIEW]Leon Henkin - 1949 - Journal of Symbolic Logic 14 (1):65-65.
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography   3 citations  
  27.  9
    Review: Marc Krasner, Les algebres cylindriques. [REVIEW]Leon Henkin - 1971 - Journal of Symbolic Logic 36 (2):337-337.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography   2 citations  
  28.  16
    An Algebraic Characterization of Quantifiers.Leon Henkin - 1951 - Journal of Symbolic Logic 16 (4):290-291.
  29.  6
    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.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  30. Review: Abraham Robinson, On the Metamathematics of Algebra. [REVIEW]Leon Henkin - 1952 - Journal of Symbolic Logic 17 (3):205-207.
  31.  14
    Are Logic and Mathematics Identical?Leon Henkin - 1964 - Journal of Symbolic Logic 29 (3):141-142.
  32.  15
    A Generalization of the Concept of Ω-Completeness.Leon Henkin - 1957 - Journal of Symbolic Logic 22 (1):1-14.
  33.  6
    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.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography   1 citation  
  34.  17
    In Memoriam: Raphael Mitchel Robinson.Leon Henkin - 1995 - Bulletin of Symbolic Logic 1 (3):340-343.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  35.  6
    Sums of Squares.Leon Henkin & G. Kreisel - 1966 - Journal of Symbolic Logic 31 (1):128-129.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  36.  1
    Monteiro António. Matrices de Morgan Caractéristiques Pour le Calcul Propositionnel Classique. Anais da Academia Brasileira de Ciencias, Vol. 32 , Pp. 1–7. [REVIEW]Leon Henkin - 1963 - Journal of Symbolic Logic 28 (2):174-175.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography   2 citations  
  37.  6
    Gödel Kurt. The Consistency of the Axiom of Choice and the Generalized Continuum-Hypothesis with the Axioms of Set Theory. Annals of Mathematics Studies, No. 3. Second Printing, Lithoprinted. Princeton University Press, Princeton 1951, 69 Pp. [REVIEW]Leon Henkin - 1952 - Journal of Symbolic Logic 17 (3):207-208.
  38.  4
    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.
  39. Logic, Methodology and Philosophy of Science Iv.Patrick Colonel Suppes, Leon Henkin, Athanase Joja & Gr C. Moisil - 1973 - North Holland, Amsterdam.
     
    Export citation  
     
    My bibliography   1 citation  
  40.  7
    Review: A. Mostowski, A. Grzegorczyk, S. Jaskowski, J. Los, S. Mazur, H. Rasiowa, R. Sikorski, Der Gegenwartige Stand der Grundlagenforschung in der Mathematik; Andrzej Mostowski, A. Grzegorczyk, S. Jaskowski, J. Los, S. Mazur, H. Rasiowa, R. Sikorski, The Present State of Investigations on the Foundations of Mathematics; A. Mostowski, A. Grzegorczyk, J. Los, S. Mazur, H. Rasiowa, R. Sikorski, S. Jaskowski, Sovremennoe Sostoanie Issledovanij Po Osnovaniam Matematiki. [REVIEW]Leon Henkin - 1956 - Journal of Symbolic Logic 21 (4):372-373.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  41.  10
    Representable cylindric algebras.Leon Henkin, J. Donald Monk & Alfred Tarski - 1986 - Annals of Pure and Applied Logic 31 (1):23-60.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  42.  12
    On the Primitive Symbols of Quine's « Mathematical Logic ».Leon Henkin - 1953 - Revue Philosophique De Louvain 51 (32):591-593.
  43.  13
    Review: G. Kreisel, On a Problem of Henkin's. [REVIEW]Leon Henkin - 1954 - Journal of Symbolic Logic 19 (3):219-220.
  44.  16
    Two Concepts From the Theory of Models.Leon Henkin - 1956 - Journal of Symbolic Logic 21 (1):28-32.
  45. Review: K. Jaakko Hintikka, An Application of Logic to Algebra. [REVIEW]Leon Henkin - 1957 - Journal of Symbolic Logic 22 (2):216-217.
     
    Export citation  
     
    My bibliography   1 citation  
  46. Mostowski A., with Grzegorczyk A., Jaśkowski S., Łoś J., Mazur S., Rasiowa H., Sikorski R.. 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, Berlin 1955, Pp. 11–44.Mostowski Andrzej, in Collaboration with Grzegorczyk A., Jaśkowski S., Łoś J., Mazur S., Rasiowa H., and Sikorski R.. The Present State of Investigations on the Foundations of Mathematics. English Translation. Rozprawy Matematyczne No. 9. Państwowe Wydawnictwo Naukowe, Warsaw 1955, 48 Pp.Mostowski A., with Participation of Grzegorczyk A., Łoś J., Mazur S., Rasiowa H., Sikorski R., and Jaśkowski S.. 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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  47. 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.
  48.  3
    Topics in the Theory of Definition.Simon Kochen, J. W. Addison, Leon Henkin, Alfred Tarski & Walter Felscher - 1969 - Journal of Symbolic Logic 34 (2):300-301.
    Direct download  
     
    Export citation  
     
    My bibliography  
  49.  2
    Stone M. H.. 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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50.  2
    Tarski Alfred. A Decision Method for Elementary Algebra and Geometry. U. S. Air Force Project Rand, R-109. Prepared for Publication by J. C. C. McKinsey. Litho-Printed. The Rand Corporation, Santa Monica, California, 1948, Iii + 60 Pp. [REVIEW]Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):188.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 139