56 found
Sort by:
Disambiguations:
Elliott Mendelson [43]E. Mendelson [11]E. M. Mendelson [2]
See also:
  1. Elliott Mendelson (2007). Graham Oppy. Philosophical Perspectives on Infinity. Philosophia Mathematica 15 (3):397-399.
    The author tells us that this book was originally intended to be part of a larger work, with the provisional title God and Infinity, but that he opted instead for a separate and independent treatment of the notion of infinity in philosophy and related areas. The original purpose is very well-hidden, showing itself clearly only in the Preface and a few other places. The book begins with a chapter describing some known alleged difficulties having to do with the infinitely large (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. E. Mendelson (2005). Anita Burdman Feferman and Solomon Feferman. Alfred Tarski: Life and Logic. Cambridge: Cambridge University Press, 2004. Pp. Vi + 435. ISBN 0-521-80240-7. [REVIEW] Philosophia Mathematica 13 (2):231-232.
  3. E. Mendelson (2005). Selmer Bringsjord and Michael Zenzen. Superminds: People Harness Hypercomputation, and More. Studies in Cognitive Systems, Volume 29. Dordrecht: Kluwer Academic Publishers, 2003. Pp. Xxx + 339. ISBN 1-4020-1094-X. [REVIEW] Philosophia Mathematica 13 (2):228-230.
  4. Elliott Mendelson (2005). Book Review: Igor Lavrov, Larisa Maksimova, Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, Edited by Giovanna Corsi, Kluwer Academic / Plenum Publishers, 2003, Us$141.00, Pp. XII + 282, Isbn 0-306-47712-2, Hardbound. [REVIEW] Studia Logica 79 (3):409-410.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Elliott Mendelson (2005). Book Review: Igor Lavrov, Larisa Maksimova, Edited by Giovanna Corsi, Kluwer Academic/Plenum Publishers, 2003, Us $141.00, Pp. XII+ 282, Isbn 0-306-47712-2, Hardbound. [REVIEW] Studia Logica 79 (3):409-410.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. E. Mendelson (2000). Roman Murawski, Recursive Functions and Metamathematics: Problems of Completeness and Decidability. Philosophia Mathematica 8 (3):345-346.
    No categories
     
    My bibliography  
     
    Export citation  
  7. Elliott Mendelson (2000). Critical Studies/Book Reviews. Philosophia Mathematica 8 (3):345-346.
  8. Elliott Mendelson & Patrick Grim (1994). The Incomplete Universe: Totality, Knowledge, and Truth. Philosophical Quarterly 44 (176):409.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. A. G. Dragalin & E. Mendelson (1990). Mathematical Intuitionism. Introduction to Proof Theory. Journal of Symbolic Logic 55 (3):1308-1309.
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. Elliott Mendelson (1990). Second Thoughts About Church's Thesis and Mathematical Proofs. Journal of Philosophy 87 (5):225-233.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. Elliott Mendelson (1986). Review: Yu. L. Ershov, E. A. Palyutin, Mathematical Logic. [REVIEW] Journal of Symbolic Logic 51 (3):829-829.
  12. Hugues Leblanc, Elliott Mendelson & Alex Orenstein (1984). Preface. Synthese 60 (1):3-3.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  13. Alex Orenstein, Elliott Mendelson & Hugues Leblanc (1984). Foundations--Logic, Language, and Mathematics.
     
    My bibliography  
     
    Export citation  
  14. P. C. Gilmore, Donald Martin & Elliott Mendelson (1975). Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 40 (2):299-304.
  15. E. Mendelson (1975). Some Properties of Constructive Real Numbers and Constructive Functions. Journal of Symbolic Logic 40 (3):454-454.
    Direct download  
     
    My bibliography  
     
    Export citation  
  16. Elliott Mendelson (1974). Review: B. A. Trahtenbrot, On Frequential Computation of Functions. [REVIEW] Journal of Symbolic Logic 39 (3):606-606.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. Elliott Mendelson (1974). Theory and Problems of Boolean Algebra and Switching Circuits. Journal of Symbolic Logic 39 (3):615-615.
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. Elliott Mendelson (1973). Review: A. N. Kolmogorov, V. A. Uspenskij, On the Definition of an Algorithm. [REVIEW] Journal of Symbolic Logic 38 (4):655-655.
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. Elliott Mendelson (1973). Review: Dana Scott, On Constructing Models for Arithmetic. [REVIEW] Journal of Symbolic Logic 38 (2):336-337.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. A. D. Tajmanov & Elliott Mendelson (1973). Characterization of Finitely Axiomatizable Classes of Models. Journal of Symbolic Logic 38 (1):165-166.
     
    My bibliography  
     
    Export citation  
  21. A. V. Kuznecov & E. Mendelson (1972). Superintuitionistic Logics and Finite Approximability. Journal of Symbolic Logic 37 (4):757-757.
    Direct download  
     
    My bibliography  
     
    Export citation  
  22. A. V. Kuznecov & E. Mendelson (1972). Undecidability of the General Problems of Completeness, Decidability and Equivalence for Propositional Calculi. Journal of Symbolic Logic 37 (4):756-757.
    Direct download  
     
    My bibliography  
     
    Export citation  
  23. Elliott Mendelson (1972). Review: E. A. Polakov, Algebras of Recursive Functions); E. A. Polakov, On Some Properties of Algebras of Recursive Functions. [REVIEW] Journal of Symbolic Logic 37 (2):408-409.
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. J. N. Whitney & Elliott Mendelson (1972). Identical Transformations in Four-Place Logic. Journal of Symbolic Logic 37 (4):762-763.
    Direct download  
     
    My bibliography  
     
    Export citation  
  25. Elliott Mendelson (1971). Review: Azriel Levy, On Models of Set Theory with Urelements. [REVIEW] Journal of Symbolic Logic 36 (4):682-682.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. V. A. Jankov, Sue Walker & Elliott Mendelson (1970). Some Superconstructive Propositional Calculi. Journal of Symbolic Logic 35 (1):138-139.
    Direct download  
     
    My bibliography  
     
    Export citation  
  27. Elliott Mendelson (1970). Many-Valued Logic. [REVIEW] Journal of Philosophy 67 (13):457-458.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. Elliott Mendelson (1970). Review: A.I. Mal'cev, Polno Numerovannye Mnozestva (Complete Enumeration of a Set); A. I. Mal'cev, K Teorii Vycislimyh Semejstv Obektov (On the Theory of Computable Families of Objects); A. I. Mal'cev, Pozitivnye I Negativnye Numeracii (Positive and Negative Numerations). [REVIEW] Journal of Symbolic Logic 35 (2):336-337.
  29. G. E. Minc, V. P. Orevkov & E. Mendelson (1970). Unsolvability in the Constructive Predicate Calculus of Certain Classes of Formulas Containing Only Monadic Predicate Variables. Journal of Symbolic Logic 35 (1):143-144.
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. Elliott Mendelson (1969). Review: A. I. Mal'cev, Algorithms and Recursive Functions. [REVIEW] Journal of Symbolic Logic 34 (2):290-290.
    Direct download  
     
    My bibliography  
     
    Export citation  
  31. Elliott Mendelson (1969). Review: Katuzi Ono, On a Practical Way of Describing Formal Deductions; Katuzi Ono, New Formulation of the Axiom of Choice by Making Use of the Comprehension Operator. [REVIEW] Journal of Symbolic Logic 34 (2):307-307.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32. Elliott Mendelson (1968). Review: M. D. Gladstone, Finite Models for Inequalities. [REVIEW] Journal of Symbolic Logic 33 (3):479-479.
  33. Jean Porte & Elliott Mendelson (1968). Quelques Pseudo-Paradoxes de la "Calculabilité Effective.". Journal of Symbolic Logic 33 (3):471-472.
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. E. Mendelson (1967). Isomorphism of Systems of Recursively Enumerable Sets with Effective Properties. Journal of Symbolic Logic 32 (3):393-394.
    Direct download  
     
    My bibliography  
     
    Export citation  
  35. Elliott Mendelson (1967). Review: A. Mostowski, On Models of Axiomatic Set-Theory. [REVIEW] Journal of Symbolic Logic 32 (4):531-532.
    Direct download  
     
    My bibliography  
     
    Export citation  
  36. Elliott Mendelson (1967). Review: J. D. Halpern, The Independence of the Axiom of Choice From the Boolean Prime Ideal Theorem. [REVIEW] Journal of Symbolic Logic 32 (2):273-274.
  37. Elliott Mendelson (1967). Review: J. W. Swanson, A Reduction Theorem for Normal Algorithms. [REVIEW] Journal of Symbolic Logic 32 (1):123-123.
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. Elliott Mendelson (1967). Strong Representability of Sets by Calculi. Journal of Symbolic Logic 32 (3):391-392.
    Direct download  
     
    My bibliography  
     
    Export citation  
  39. E. Mendelson (1966). On Simplification Algorithms for Disjunctive Normal Forms. Journal of Symbolic Logic 31 (1):141-141.
    Direct download  
     
    My bibliography  
     
    Export citation  
  40. E. Mendelson (1966). On the Number of Simple Bases of Boolean Functions. Journal of Symbolic Logic 31 (3):501-502.
    Direct download  
     
    My bibliography  
     
    Export citation  
  41. Elliott Mendelson (1966). Review: V. A. Uspenskij, (Lekcii o Vycislimyh Funkciah)Lectures on Computable Functions. [REVIEW] Journal of Symbolic Logic 31 (2):263-264.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  42. Elliott Mendelson (1966). Strongly Related Models and Recursively Complete Algebras. Journal of Symbolic Logic 31 (4):649-650.
    Direct download  
     
    My bibliography  
     
    Export citation  
  43. Sidney Morgenbesser & Elliott Mendelson (1966). Annual Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 31 (4):682-696.
  44. Elliott Mendelson (1965). Review: Hao Wang, Process and Existence in Mathematics. [REVIEW] Journal of Symbolic Logic 30 (2):244-244.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  45. Elliott Mendelson (1964). Introduction to Mathematical Logic. Princeton, N.J.,Van Nostrand.
    The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in ...
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  46. E. M. Mendelson (1963). The Uses of Religious Scepticism in Modern Burma. Diogenes 11 (41):94-116.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  47. Elliott Mendelson (1963). On Some Recent Criticism of Church's Thesis. Notre Dame Journal of Formal Logic 4 (3):201-205.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  48. Elliott Mendelson (1961). On Non-Standard Models for Number Theory. In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Journal of Symbolic Logic. Jerusalem, Magnes Press, Hebrew University;. 259--268.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  49. Elliott Mendelson (1960). A Semantic Proof of the Eliminability of Descriptions. Mathematical Logic Quarterly 6 (7‐14):199-200.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  50. Elliott Mendelson (1960). Review: R. Montague, R. L. Vaught, Natural Models of Set Theories. [REVIEW] Journal of Symbolic Logic 25 (2):177-177.
    Direct download  
     
    My bibliography  
     
    Export citation  
1 — 50 / 56