147 found
Order:
Disambiguations
Leon Henkin [139]L. Henkin [8]Louis Henkin [2]
  1.  86
    Completeness in the Theory of Types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
  2.  20
    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.  42
    Some Remarks on Infinitely Long Formulas.L. Henkin - 1961 - In Journal of Symbolic Logic. Pergamon Press. pp. 167--183.
  4.  65
    The Completeness of the First-Order Functional Calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
  5. Infinistic Methods.L. Henkin - 1961 - Pergamon Press.
    Translate
     
     
    Export citation  
     
    My bibliography   17 citations  
  6.  3
    Cylindric Algebras. Part II.Leon Henkin, J. Donald Monk & Alfred Tarski - 1988 - Journal of Symbolic Logic 53 (2):651-653.
  7.  39
    The Discovery of My Completeness Proofs.Leon Henkin - 1996 - Bulletin of Symbolic Logic 2 (2):127-158.
  8. 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.
  9. A Generalization of the Concept of |Omega-Consistency.Leon Henkin - 1954 - Journal of Symbolic Logic 19 (3):183 - 196.
  10.  15
    An Extension of the Craig-Lyndon Interpolation Theorem.Leon Henkin - 1963 - Journal of Symbolic Logic 28 (3):201-216.
  11. Mathematical Interpretation of Formal Systems.Th Skolem, G. Hasenjaeger, G. Kreisel, A. Robinson, H. Wang, L. Henkin & J. Łoś (eds.) - 1955 - North-Holland Pub. Co..
  12.  2
    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.
  13.  41
    Dedicated to My Teacher, Alonzo Church, in His 91st Year.Leon Henkin - 1996 - Bulletin of Symbolic Logic 2 (2).
  14.  39
    On the Definition of `Formal Deduction'.Richard Montague & Leon Henkin - 1956 - Journal of Symbolic Logic 21 (2):129-136.
  15. A Theory of Propositional Types.Leon Henkin - 1963 - Fundamenta Mathematicae 52:323-334.
     
    Export citation  
     
    My bibliography   9 citations  
  16.  25
    Problems.Heinrich Scholz, G. Kreisel & Leon Henkin - 1952 - Journal of Symbolic Logic 17 (2):160.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  17.  26
    Identity as a Logical Primitive.Leon Henkin - 1975 - Philosophia 5 (1-2):31-45.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  18.  1
    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.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  19. Cylindric Set Algebras.L. Henkin, J. D. Monk, A. Tarski, H. Andréka & I. Németi - 1986 - Studia Logica 45 (2):223-225.
  20.  52
    A Letter to Reviewer.Leon Henkin - 1964 - Philosophia Mathematica (2):118-119.
  21.  2
    La Structure Algébrique des Théories Mathématiques.Leon Henkin - 1956 - Gauthier-Villars.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  22. Logical Systems Containing Only a Finite Number of Symbols.Leon Henkin - 1967 - Montreal, Presses De l'Université De Montréal.
  23.  6
    Review: Antonio Monteiro, Matrices de Morgan Caracteristiques pour le Calcul Propositionnel Classique. [REVIEW]Leon Henkin - 1963 - Journal of Symbolic Logic 28 (2):174-175.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  24.  12
    Some Notes on Nominalism.Leon Henkin - 1953 - Journal of Symbolic Logic 18 (1):19-29.
  25. 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  
  26.  13
    Fragments of the Propositional Calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (1):42-48.
  27.  12
    Banishing the Rule of Substitution for Functional Variables.Leon Henkin - 1953 - Journal of Symbolic Logic 18 (3):201-208.
  28. Categoricity of Uncountable Theories.Saharon Shelah & Leon Henkin - 1981 - Journal of Symbolic Logic 46 (4):866-867.
  29. Review: Abraham Robinson, On the Metamathematics of Algebra. [REVIEW]Leon Henkin - 1952 - Journal of Symbolic Logic 17 (3):205-207.
  30. 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  
  31.  1
    Review: Stanislaw Jaskowski, Sur les Variables Propositionelles Dependantes. [REVIEW]Leon Henkin - 1949 - Journal of Symbolic Logic 14 (1):65-65.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  32.  1
    Review: Marc Krasner, Les algebres cylindriques. [REVIEW]Leon Henkin - 1971 - Journal of Symbolic Logic 36 (2):337-337.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  33.  1
    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  
  34.  8
    A Generalization of the Concept of Ω-Completeness.Leon Henkin - 1957 - Journal of Symbolic Logic 22 (1):1-14.
  35.  11
    In Memoriam: Raphael Mitchel Robinson.Leon Henkin - 1995 - Bulletin of Symbolic Logic 1 (3):340-343.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  36. 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  
  37.  6
    An Algebraic Characterization of Quantifiers.Leon Henkin - 1951 - Journal of Symbolic Logic 16 (4):290-291.
  38. The Representation Theorem for Cylindrical Algebras.L. Henkin - 1957 - Journal of Symbolic Logic 22 (2):215-215.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  39.  5
    Are Logic and Mathematics Identical?Leon Henkin - 1964 - Journal of Symbolic Logic 29 (3):141-142.
  40.  7
    On the Primitive Symbols of Quine's « Mathematical Logic ».Leon Henkin - 1953 - Revue Philosophique De Louvain 51 (32):591-593.
  41.  8
    Review: G. Kreisel, On a Problem of Henkin's. [REVIEW]Leon Henkin - 1954 - Journal of Symbolic Logic 19 (3):219-220.
  42. Logic, Methodology and Philosophy of Science IV, Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971.P. Suppes, L. Henkin, A. Joja & Gr C. Moisil - 1975 - Synthese 31 (1):161-186.
     
    Export citation  
     
    My bibliography   1 citation  
  43. 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.
  44.  1
    Review: K. Jaakko Hintikka, An Application of Logic to Algebra. [REVIEW]Leon Henkin - 1957 - Journal of Symbolic Logic 22 (2):216-217.
  45.  1
    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  
  46.  13
    Two Concepts From the Theory of Models.Leon Henkin - 1956 - Journal of Symbolic Logic 21 (1):28-32.
  47. Sums of Squares.Leon Henkin & G. Kreisel - 1966 - Journal of Symbolic Logic 31 (1):128-129.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  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. 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.
  50.  3
    Representable cylindric algebras.Leon Henkin, J. Donald Monk & Alfred Tarski - 1986 - Annals of Pure and Applied Logic 31 (1):23-60.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 147