61 found
Order:
Disambiguations:
Elliott Mendelson [50]E. Mendelson [11]E. M. Mendelson [2]
See also:
  1.  38
    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)  
     
    Export citation  
     
    My bibliography   85 citations  
  2.  6
    A. G. Dragalin & E. Mendelson (1990). Mathematical Intuitionism. Introduction to Proof Theory. Journal of Symbolic Logic 55 (3):1308-1309.
    Direct download  
     
    Export citation  
     
    My bibliography   8 citations  
  3.  13
    Elliott Mendelson (1960). Naive Set Theory. [REVIEW] Journal of Philosophy 57 (15):512-513.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  4.  46
    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)  
     
    Export citation  
     
    My bibliography   3 citations  
  5.  11
    Elliott Mendelson (1966). Philosophical Problems of Many-Valued Logic. [REVIEW] Journal of Philosophy 63 (15):445-446.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  6.  79
    E. M. Mendelson (1963). The Uses of Religious Scepticism in Modern Burma. Diogenes 11 (41):94-116.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  7.  10
    Elliott Mendelson, Richard C. Jeffrey & Ernest Adams (1964). Logic, Methodology, and Philosophy of Science. Three Reviews. [REVIEW] Journal of Philosophy 61 (2):76-94.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  8.  10
    Elliott Mendelson (1960). Measurement: Definitions and Theories. [REVIEW] Journal of Philosophy 57 (15):513-514.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  9.  48
    E. M. Mendelson (1958). The King, the Traitor, and the Cross: An Interpretation of a Highland Maya Religious Conflict. Diogenes 6 (21):1-10.
  10.  3
    Elliott Mendelson & Patrick Grim (1994). The Incomplete Universe: Totality, Knowledge, and Truth. Philosophical Quarterly 44 (176):409.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  11.  7
    Elliott Mendelson (1970). Many-Valued Logic. [REVIEW] Journal of Philosophy 67 (13):457-458.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  12.  2
    Elliott Mendelson (1960). A Semantic Proof of the Eliminability of Descriptions. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (7-14):199-200.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13.  26
    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)  
     
    Export citation  
     
    My bibliography  
  14.  27
    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)  
     
    Export citation  
     
    My bibliography  
  15.  3
    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  
     
    Export citation  
     
    My bibliography  
  16.  10
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  17.  14
    Elliott Mendelson (1956). The Independence of a Weak Axiom of Choice. Journal of Symbolic Logic 21 (4):350-366.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  18.  17
    Hugues Leblanc, Elliott Mendelson & Alex Orenstein (1984). Preface. Synthese 60 (1):3-3.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  19.  14
    P. C. Gilmore, Donald Martin & Elliott Mendelson (1975). Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 40 (2):299-304.
  20.  3
    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  
     
    Export citation  
     
    My bibliography  
  21.  14
    Elliott Mendelson (1956). Some Proofs of Independence in Axiomatic Set Theory. Journal of Symbolic Logic 21 (3):291-303.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  22.  1
    V. A. Jankov, Sue Walker & Elliott Mendelson (1970). Some Superconstructive Propositional Calculi. Journal of Symbolic Logic 35 (1):138-139.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  23.  10
    Sidney Morgenbesser & Elliott Mendelson (1966). Annual Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 31 (4):682-696.
  24.  7
    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.
  25.  10
    Elliott Mendelson (2000). Critical Studies/Book Reviews. Philosophia Mathematica 8 (3):345-346.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  26.  1
    Elliott Mendelson (1974). Theory and Problems of Boolean Algebra and Switching Circuits. Journal of Symbolic Logic 39 (3):615-615.
    Direct download  
     
    Export citation  
     
    My bibliography  
  27.  1
    J. N. Whitney & Elliott Mendelson (1972). Identical Transformations in Four-Place Logic. Journal of Symbolic Logic 37 (4):762-763.
    Direct download  
     
    Export citation  
     
    My bibliography  
  28.  5
    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.
  29.  2
    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.
  30.  2
    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  
     
    Export citation  
     
    My bibliography  
  31.  2
    Elliott Mendelson (1986). Review: Yu. L. Ershov, E. A. Palyutin, Mathematical Logic. [REVIEW] Journal of Symbolic Logic 51 (3):829-829.
  32.  2
    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)  
     
    Export citation  
     
    My bibliography  
  33.  1
    Elliott Mendelson (1969). Review: A. I. Mal'cev, Algorithms and Recursive Functions. [REVIEW] Journal of Symbolic Logic 34 (2):290-290.
    Direct download  
     
    Export citation  
     
    My bibliography  
  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.
     
    Export citation  
     
    My bibliography  
  35. Elliott Mendelson (1960). Review: R. Montague, R. L. Vaught, Natural Models of Set Theories. [REVIEW] Journal of Symbolic Logic 25 (2):177-177.
     
    Export citation  
     
    My bibliography  
  36.  1
    Elliott Mendelson (1973). Review: Dana Scott, On Constructing Models for Arithmetic. [REVIEW] Journal of Symbolic Logic 38 (2):336-337.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37.  1
    Elliott Mendelson (1968). Review: M. D. Gladstone, Finite Models for Inequalities. [REVIEW] Journal of Symbolic Logic 33 (3):479-479.
  38. A. V. Kuznecov & E. Mendelson (1972). Superintuitionistic Logics and Finite Approximability. Journal of Symbolic Logic 37 (4):757-757.
    Direct download  
     
    Export citation  
     
    My bibliography  
  39. 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  
     
    Export citation  
     
    My bibliography  
  40. Elliott Mendelson (1960). A Semantic Proof of the Eliminability of Descriptions. Mathematical Logic Quarterly 6 (7‐14):199-200.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  41. E. Mendelson (1967). Isomorphism of Systems of Recursively Enumerable Sets with Effective Properties. Journal of Symbolic Logic 32 (3):393-394.
    Direct download  
     
    Export citation  
     
    My bibliography  
  42. E. Mendelson (1966). On Simplification Algorithms for Disjunctive Normal Forms. Journal of Symbolic Logic 31 (1):141-141.
    Direct download  
     
    Export citation  
     
    My bibliography  
  43. E. Mendelson (1966). On the Number of Simple Bases of Boolean Functions. Journal of Symbolic Logic 31 (3):501-502.
    Direct download  
     
    Export citation  
     
    My bibliography  
  44. 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.
  45. Elliott Mendelson (1967). Review: A. Mostowski, On Models of Axiomatic Set-Theory. [REVIEW] Journal of Symbolic Logic 32 (4):531-532.
     
    Export citation  
     
    My bibliography  
  46. 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)  
     
    Export citation  
     
    My bibliography  
  47. 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  
     
    Export citation  
     
    My bibliography  
  48. Elliott Mendelson (1965). Review: Hao Wang, Process and Existence in Mathematics. [REVIEW] Journal of Symbolic Logic 30 (2):244-244.
    Direct download  
     
    Export citation  
     
    My bibliography  
  49. Elliott Mendelson (1967). Review: J. W. Swanson, A Reduction Theorem for Normal Algorithms. [REVIEW] Journal of Symbolic Logic 32 (1):123-123.
     
    Export citation  
     
    My bibliography  
  50. 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)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 61