67 found
Sort by:
  1. 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  
  2. 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  
  3. Leon Henkin (1995). In Memoriam: Raphael Mitchel Robinson. Bulletin of Symbolic Logic 1 (3):340-343.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Leon Henkin, J. Donald Monk & Alfred Tarski (1986). Representable cylindric algebras. Annals of Pure and Applied Logic 31:23-60.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Leon Henkin (1975). Identity as a Logical Primitive. Philosophia 5 (1-2):31-45.
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. 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  
     
    My bibliography  
     
    Export citation  
  7. 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  
  8. 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  
  9. Leon Henkin (1967). Logical Systems Containing Only a Finite Number of Symbols. Montreal, Presses De l'Université De Montréal.
     
    My bibliography  
     
    Export citation  
  10. 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  
  11. 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  
  12. 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  
  13. Leon Henkin (1964). A Letter to Reviewer. Philosophia Mathematica (2):118-119.
  14. 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  
  15. Leon Henkin (1963). A Theory of Propositional Types. Fundamenta Mathematicae 52:323-334.
     
    My bibliography  
     
    Export citation  
  16. 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  
  17. Leon Henkin (1962). Retracing Elementary Mathematics. New York, Macmillan.
     
    My bibliography  
     
    Export citation  
  18. 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.
  19. 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  
  20. 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  
  21. 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  
  22. 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  
  23. Leon Henkin (1958). Review: A. Heyting, Logique et Intuitionnisme. [REVIEW] Journal of Symbolic Logic 23 (1):33-33.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  24. Leon Henkin (1958). Review: E. W. Beth, Reflexions sur l'Organisation et la Methode de l'Enseignement Mathematique. [REVIEW] Journal of Symbolic Logic 23 (1):34-34.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  25. Leon Henkin (1957). A Generalization of the Concept of Ω-Completeness. Journal of Symbolic Logic 22 (1):1-14.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  26. Leon Henkin (1957). Review: K. Jaakko Hintikka, An Application of Logic to Algebra. [REVIEW] Journal of Symbolic Logic 22 (2):216-217.
    Direct download  
     
    My bibliography  
     
    Export citation  
  27. Leon Henkin (1956). 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] Journal of Symbolic Logic 21 (4):372-373.
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. Leon Henkin (1956). Review: Jerzy Los, The Algebraic Treatment of the Methodology of Elementary Deductive Systems. [REVIEW] Journal of Symbolic Logic 21 (2):193-194.
    Direct download  
     
    My bibliography  
     
    Export citation  
  29. Leon Henkin (1956). Review: Juliusz Reichbach, Completeness of the Functional Calculus of First Order. [REVIEW] Journal of Symbolic Logic 21 (2):194-194.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  30. Leon Henkin (1956). Two Concepts From the Theory of Models. Journal of Symbolic Logic 21 (1):28-32.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  31. Richard Montague & Leon Henkin (1956). On the Definition of `Formal Deduction'. Journal of Symbolic Logic 21 (2):129-136.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  32. Leon Henkin (1955). Review: A. Chatelet, Allocution d'Ouverture; L. E. J. Brouwer, Discours Final; Abraham Robinson, On Axiomatic Systems Which Possess Finite Models. [REVIEW] Journal of Symbolic Logic 20 (2):186-186.
    Direct download  
     
    My bibliography  
     
    Export citation  
  33. Leon Henkin (1955). Review: Abraham Robinson, Les Rapports Entre le Calcul Deductif et l'Interpretation Semantique d'un Systeme Axiomatique; E. W. Beth, L. E. J. Brouwer, Abraham Robinson, Discussion. [REVIEW] Journal of Symbolic Logic 20 (2):185-186.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  34. Leon Henkin (1955). Review: E. W. Beth, Sur le Parallelisme Logico-Mathematique. [REVIEW] Journal of Symbolic Logic 20 (2):184-185.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  35. Leon Henkin (1955). Review: Gunter Asser, Eine Semantische Charakterisierung der Deduktiv Abgeschlossenen Mengen des Pradikatenkalkuls der Ersten Stufe. [REVIEW] Journal of Symbolic Logic 20 (3):282-282.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. Leon Henkin (1955). Review: H. Rasiowa, R. Sikorski, Algebraic Treatment of the Notion of Satisfiability. [REVIEW] Journal of Symbolic Logic 20 (1):78-80.
    Direct download  
     
    My bibliography  
     
    Export citation  
  37. Leon Henkin (1955). Review: H. Rasiowa, R. Sikorski, On Existential Theorems in Non-Classical Functional Calculi. [REVIEW] Journal of Symbolic Logic 20 (1):80-80.
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. Leon Henkin (1955). Review: Ladislav Rieger, On Countable Generalised $|Sigma$-Algebras, with a New Proof of Godel's Completeness Theorem. [REVIEW] Journal of Symbolic Logic 20 (3):281-282.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  39. Leon Henkin (1955). Review: Paul Bernays, E. W. Beth, L. E. J. Brouwer, Jean-Louis Destouches, R. Feys, Discussion Generale. [REVIEW] Journal of Symbolic Logic 20 (2):186-186.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  40. Leon Henkin (1954). A Generalization of the Concept of |Omega-Consistency. Journal of Symbolic Logic 19 (3):183 - 196.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  41. Leon Henkin (1954). Review: G. Kreisel, On a Problem of Henkin's. [REVIEW] Journal of Symbolic Logic 19 (3):219-220.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  42. Leon Henkin (1954). Review: Karl Menger, Calculus. A Modern Approach. [REVIEW] Journal of Symbolic Logic 19 (3):227-229.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. Leon Henkin (1954). Review: Karl Menger, The Ideas of Variable and Function. [REVIEW] Journal of Symbolic Logic 19 (3):227-227.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  44. Leon Henkin (1953). Banishing the Rule of Substitution for Functional Variables. Journal of Symbolic Logic 18 (3):201-208.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  45. Leon Henkin (1953). On the Primitive Symbols of Quine's « Mathematical Logic ». Revue Philosophique de Louvain 51 (32):591-593.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  46. Leon Henkin (1953). Review: Burton Dreben, On the Completeness of Quantification Theory. [REVIEW] Journal of Symbolic Logic 18 (4):339-339.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  47. Leon Henkin (1953). Review: H. Rasiowa, Algebraic Treatment of the Functional Calculi of Heyting and Lewis. [REVIEW] Journal of Symbolic Logic 18 (1):72-73.
    Direct download  
     
    My bibliography  
     
    Export citation  
  48. Leon Henkin (1953). Some Notes on Nominalism. Journal of Symbolic Logic 18 (1):19-29.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  49. Leon Henkin (1952). Review: Abraham Robinson, On the Metamathematics of Algebra. [REVIEW] Journal of Symbolic Logic 17 (3):205-207.
    Direct download  
     
    My bibliography  
     
    Export citation  
  50. Leon Henkin (1952). Review: Kurt Godel, The Consistency of the Axiom of Choice and the Generalized Continuum-Hypothesis with the Axioms of Set Theory. [REVIEW] Journal of Symbolic Logic 17 (3):207-208.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 67