99 found
Sort by:
Disambiguations:
Leon Henkin [90]L. Henkin [8]Louis Henkin [2]
  1. Louis Henkin (1998). Religion, Religions, and Human Rights. Journal of Religious Ethics 26 (2):229 - 239.
    Though some Christian theologians have argued that Western human rights theory is grounded in religious faith, human rights morality is, in fact, autonomous. The ideologies of religion and of human rights differ in their sources, the bases of their authority, their forms of expression, and even their substantive norms. Moreover, historically, religious communities have often themselves violated human rights norms-and such violations persist today in some geographical regions and with respect to some norms. On the other hand, religious communities have (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Leon Henkin (1996). Dedicated to My Teacher, Alonzo Church, in His 91st Year. Bulletin of Symbolic Logic 2 (2).
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Leon Henkin (1996). The Discovery of My Completeness Proofs. Bulletin of Symbolic Logic 2 (2):127-158.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Leon Henkin (1995). In Memoriam: Raphael Mitchel Robinson. Bulletin of Symbolic Logic 1 (3):340-343.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Leon Henkin, J. Donald Monk & Alfred Tarski (1988). Cylindric Algebras. Part II. Journal of Symbolic Logic 53 (2):651-653.
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. L. Henkin, J. D. Monk, A. Tarski, H. Andréka & I. Németi (1986). Cylindric Set Algebras. Studia Logica 45 (2):223-225.
     
    My bibliography  
     
    Export citation  
  7. Leon Henkin, J. Donald Monk & Alfred Tarski (1986). Representable cylindric algebras. Annals of Pure and Applied Logic 31 (1):23-60.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. Leon Henkin, J. Donald Monk, Alfred Tarski, L. Henkin, J. D. Monk & A. Tarski (1985). Cylindric Algebras. Part I. Journal of Symbolic Logic 50 (1):234-237.
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Saharon Shelah & Leon Henkin (1981). Categoricity of Uncountable Theories. Journal of Symbolic Logic 46 (4):866-867.
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. J. W. Addison, Leon Henkin, Alfred Tarski & Paul E. Howard (1975). The Fraenkel-Mostowski Method for Independence Proofs in Set Theory. Journal of Symbolic Logic 40 (4):631-631.
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. Leon Henkin (1975). Identity as a Logical Primitive. Philosophia 5 (1-2):31-45.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  12. P. Suppes, L. Henkin, A. Joja & Gr C. Moisil (1975). Logic, Methodology and Philosophy of Science IV, Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971. Synthese 31 (1):161-186.
     
    My bibliography  
     
    Export citation  
  13. Andrzej Ehrenfeucht, J. W. Addison, Leon Henkin & Alfred Tarski (1974). Elementary Theories with Models Without Automorphisms. Journal of Symbolic Logic 39 (2):338-338.
    Direct download  
     
    My bibliography  
     
    Export citation  
  14. Leon Henkin (1974). Mathematical Foundations for Mathematics. Journal of Symbolic Logic 39 (2):333-333.
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. Leon Henkin, Alfred Tarski & Association for Symbolic Logic (1974). Proceedings of the Tarski Symposium an International Symposium Held to Honor Alfred Tarski on the Occasion of His Seventieth Birthday. Monograph Collection (Matt - Pseudo).
     
    My bibliography  
     
    Export citation  
  16. Pascual Jordan, Leon Henkin, Patrick Suppes & Alfred Tarski (1974). Quantenlogik Und Das Kommutative Gesetz. Journal of Symbolic Logic 39 (2):353-353.
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. J. W. Addison, L. Henkin & A. Tarski (1973). General Bibliography. In Glenn Pearce & Patrick Maynard (eds.), Conceptual Change. Boston,D. Reidel. 52--1963.
    No categories
     
    My bibliography  
     
    Export citation  
  18. Leon Henkin (1971). Cylindric Algebras. 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)  
     
    My bibliography  
     
    Export citation  
  19. Leon Henkin (1971). Review: Marc Krasner, Les algebres cylindriques. [REVIEW] Journal of Symbolic Logic 36 (2):337-337.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. Leon Henkin (1971). Review: Maurice L'Abbé, Structures algébriques suggérées par la logique mathématique. [REVIEW] Journal of Symbolic Logic 36 (2):337-337.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. Th Skolem, G. Hasenjaeger, G. Kreisel, A. Robinson, H. Wang, L. Henkin & J. Łoś (eds.) (1971). Mathematical Interpretation of Formal Systems. North-Holland Pub. Co..
     
    My bibliography  
     
    Export citation  
  22. Gebhard Furhken, J. W. Addison, Leon Henkin & Alfred Tarski (1970). Languages with Added Quantifier There Exist at Least ℵ Α. Journal of Symbolic Logic 35 (2):342-342.
    Direct download  
     
    My bibliography  
     
    Export citation  
  23. Patrick Suppes, J. W. Addison, Leon Henkin & Alfred Tarski (1970). Measurement, Empirical Meaningfulness, and Three-Valued Logic. Journal of Symbolic Logic 35 (1):129-131.
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. H. Jerome Keisler, J. W. Addison, Leon Henkin & Alfred Tarski (1969). Finite Approximations of Infinitely Long Formulas. Journal of Symbolic Logic 34 (1):129-130.
    Direct download  
     
    My bibliography  
     
    Export citation  
  25. Simon Kochen, J. W. Addison, Leon Henkin, Alfred Tarski & Walter Felscher (1969). Topics in the Theory of Definition. Journal of Symbolic Logic 34 (2):300-301.
    Direct download  
     
    My bibliography  
     
    Export citation  
  26. R. L. Vaught, J. W. Addison, Leon Henkin & Alfred Tarski (1968). A Löwenheim-Skolem Theorem for Cardinals for Apart. Journal of Symbolic Logic 33 (3):476-477.
    Direct download  
     
    My bibliography  
     
    Export citation  
  27. Leon Henkin (1967). Logical Systems Containing Only a Finite Number of Symbols. Montreal, Presses De l'Université De Montréal.
     
    My bibliography  
     
    Export citation  
  28. Leon Henkin (1967). Review: M. H. Stone, Free Boolean Rings and Algebras. [REVIEW] Journal of Symbolic Logic 32 (3):415-415.
    Direct download  
     
    My bibliography  
     
    Export citation  
  29. Leon Henkin (1967). Systems, Formal and Models of Formal Systems. In Paul Edwards (ed.), The Encyclopedia of Philosophy. New York, Macmillan. 8--61.
    No categories
     
    My bibliography  
     
    Export citation  
  30. Leon Henkin & Alfred Tarski (1967). Cylindrical Algebras. Journal of Symbolic Logic 32 (3):417-417.
    Direct download  
     
    My bibliography  
     
    Export citation  
  31. Leon Henkin & G. Kreisel (1966). Sums of Squares. Journal of Symbolic Logic 31 (1):128-129.
    Direct download  
     
    My bibliography  
     
    Export citation  
  32. J. W. Addison, Leon Henkin & Alfred Tarski (1965). The Theory of Models Proceedings of the 1963 International Symposium at Berkeley.
     
    My bibliography  
     
    Export citation  
  33. Leon Henkin (1965). Review: Evert W. Beth, Formal Methods. An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic. [REVIEW] Journal of Symbolic Logic 30 (2):235-236.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  34. Leon Henkin (1964). Are Logic and Mathematics Identical? Journal of Symbolic Logic 29 (3):141-142.
    Direct download  
     
    My bibliography  
     
    Export citation  
  35. Leon Henkin (1964). A Letter to Reviewer. Philosophia Mathematica (2):118-119.
  36. Louis Henkin (1964). Neutral Principles" and Future Cases. In Sidney Hook (ed.), Law and Philosophy. [New York]New York University Press.
     
    My bibliography  
     
    Export citation  
  37. Leon Henkin (1963). An Extension of the Craig-Lyndon Interpolation Theorem. Journal of Symbolic Logic 28 (3):201-216.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  38. Leon Henkin (1963). A Theory of Propositional Types. Fundamenta Mathematicae 52:323-334.
     
    My bibliography  
     
    Export citation  
  39. Leon Henkin (1963). Review: Antonio Monteiro, Matrices de Morgan Caracteristiques pour le Calcul Propositionnel Classique. [REVIEW] Journal of Symbolic Logic 28 (2):174-175.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  40. Leon Henkin (1962). Retracing Elementary Mathematics. New York, Macmillan.
     
    My bibliography  
     
    Export citation  
  41. L. Henkin (1961). Infinistic Methods. Pergamon Press.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  42. L. Henkin (1961). Some Remarks on Infinitely Long Formulas. In Journal of Symbolic Logic. Pergamon Press. 167--183.
  43. Leon Henkin (1960). Review: Hilary Putnam, Three-Valued Logic; Paul Feyerabend, Reichenbach's Interpretation of Quantum-Mechanics; Isaac Levi, Putnam's Three Truth Values. [REVIEW] Journal of Symbolic Logic 25 (3):289-291.
  44. Leon Henkin (1960). Review: Jerome Rothstein, C. A. Muses, Communication, Organization and Science. [REVIEW] Journal of Symbolic Logic 25 (3):256-256.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  45. Leon Henkin (1959). On a Theorem of Vaught. Journal of Symbolic Logic 24 (1):58-58.
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. Leon Henkin (1959). Review: Andrzej Mostowski, Quelques Observations sur l'Usage des Methodes non Finitistes dans la Meta- Mathematiques. [REVIEW] Journal of Symbolic Logic 24 (3):234-235.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  47. Leon Henkin (1959). Review: L. Nolin, Sur L'algebre des Predicats; A. Mostowski, J. Porte, A. Tarski, J. Riguet, Interventions. [REVIEW] Journal of Symbolic Logic 24 (3):235-235.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  48. Leon Henkin & Andrzej Mostowski (1959). Review: A. Mal'cev, On a General Method for Obtaining Local Theorems in Group Theory. [REVIEW] Journal of Symbolic Logic 24 (1):55-57.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  49. Leon Henkin, Patrick Suppes & Alfred Tarski (1959). The Axiomatic Method with Special Reference to Geometry and Physics Proceedings of an International Symposium Held at the University of California, Berkeley, December 26, 1957-January 4, 1958. [REVIEW] North-Holland.
    No categories
     
    My bibliography  
     
    Export citation  
  50. Leon Henkin (1958). A Generalization of the Notion of Ω-Consistency. Journal of Symbolic Logic 23 (1):40-40.
    Direct download  
     
    My bibliography  
     
    Export citation  
1 — 50 / 99