38 found
Sort by:
Disambiguations:
Elliott Mendelson [33]E. Mendelson [3]E. M. Mendelson [2]
See also:
  1. Elliott Mendelson (2007). Graham Oppy. Philosophical Perspectives on Infinity. Philosophia Mathematica 15 (3):397-399.
    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.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Elliott Mendelson (1990). Second Thoughts About Church's Thesis and Mathematical Proofs. Journal of Philosophy 87 (5):225-233.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. Elliott Mendelson (1986). Review: Yu. L. Ershov, E. A. Palyutin, Mathematical Logic. [REVIEW] Journal of Symbolic Logic 51 (3):829-829.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Hugues Leblanc, Elliott Mendelson & Alex Orenstein (1984). Preface. Synthese 60 (1):3-3.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  12. P. C. Gilmore, Donald Martin & Elliott Mendelson (1975). Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 40 (2):299-304.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  13. 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  
  14. 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  
  15. 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  
  16. 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  
  17. 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  
  18. 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.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. 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  
  20. 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  
  21. Elliott Mendelson (1968). Review: M. D. Gladstone, Finite Models for Inequalities. [REVIEW] Journal of Symbolic Logic 33 (3):479-479.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. 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  
  23. 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.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. 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  
  25. 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  
  26. Sidney Morgenbesser & Elliott Mendelson (1966). Annual Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 31 (4):682-696.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  27. 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  
  28. 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 ...
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  29. 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  
  30. 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  
  31. Elliott Mendelson (1961). On Non-Standard Models for Number Theory. In. In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem, Magnes Press, Hebrew University;. 259--268.
    No categories
     
    My bibliography  
     
    Export citation  
  32. Elliott Mendelson (1960). A Semantic Proof of the Eliminability of Descriptions. Mathematical Logic Quarterly 6 (7‐14):199-200.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  33. 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  
  34. Elliott Mendelson (1960). Review: R. Montague, R. L. Vaught, A Note on Theories with Selectors. [REVIEW] Journal of Symbolic Logic 25 (2):177-178.
    Direct download  
     
    My bibliography  
     
    Export citation  
  35. Elliott Mendelson (1959). Review: Paul Bernays, Axiomatic Set Theory. [REVIEW] Journal of Symbolic Logic 24 (3):224-225.
    Direct download  
     
    My bibliography  
     
    Export citation  
  36. E. M. Mendelson (1958). The King, the Traitor, and the Cross: An Interpretation of a Highland Maya Religious Conflict. Diogenes 6 (21):1-10.
  37. Elliott Mendelson (1956). Some Proofs of Independence in Axiomatic Set Theory. Journal of Symbolic Logic 21 (3):291-303.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  38. Elliott Mendelson (1956). The Independence of a Weak Axiom of Choice. Journal of Symbolic Logic 21 (4):350-366.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation