70 found
Order:
See also:
  1.  39
    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.  47
    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  
  3.  13
    Elliott Mendelson (1960). Naive Set Theory. [REVIEW] Journal of Philosophy 57 (15):512-513.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  4.  12
    Elliott Mendelson (1960). Measurement: Definitions and Theories. [REVIEW] Journal of Philosophy 57 (15):513-514.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  5.  12
    Elliott Mendelson (1966). Philosophical Problems of Many-Valued Logic. [REVIEW] Journal of Philosophy 63 (15):445-446.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  6.  11
    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  
  7.  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  
  8.  7
    Elliott Mendelson (1970). Many-Valued Logic. [REVIEW] Journal of Philosophy 67 (13):457-458.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  9.  5
    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  
  10.  28
    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  
  11. Elliott Mendelson (1990). Second Thoughts About Church's Thesis and Mathematical Proofs. Journal of Philosophy 87 (5):225.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  12.  1
    Elliott Mendelson (1973). Scott Dana. On Constructing Models for Arithmetic. Infinitistic Methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, Pp. 235–255. [REVIEW] Journal of Symbolic Logic 38 (2):336-337.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13.  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  
  14.  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  
  15.  11
    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  
  16.  15
    Elliott Mendelson (1956). The Independence of a Weak Axiom of Choice. Journal of Symbolic Logic 21 (4):350-366.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  17.  4
    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  
  18.  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  
  19.  17
    Hugues Leblanc, Elliott Mendelson & Alex Orenstein (1984). Preface. Synthese 60 (1):3-3.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  20.  14
    P. C. Gilmore, Donald Martin & Elliott Mendelson (1975). Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 40 (2):299-304.
  21.  14
    Elliott Mendelson (1956). Some Proofs of Independence in Axiomatic Set Theory. Journal of Symbolic Logic 21 (3):291-303.
    Direct download (6 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.  10
    Elliott Mendelson (2000). Critical Studies/Book Reviews. Philosophia Mathematica 8 (3):345-346.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  25.  1
    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  
  26.  1
    Elliott Mendelson (1960). The Axiom of Fundierung and the Axiom of Choice. Journal of Symbolic Logic 25 (2):178-179.
    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.  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.
  29.  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  
  30.  2
    Elliott Mendelson (1986). Review: Yu. L. Ershov, E. A. Palyutin, Mathematical Logic. [REVIEW] Journal of Symbolic Logic 51 (3):829-829.
  31.  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  
  32. 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  
  33. 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  
  34.  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  
  35.  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  
  36.  1
    Elliott Mendelson (1968). Review: M. D. Gladstone, Finite Models for Inequalities. [REVIEW] Journal of Symbolic Logic 33 (3):479-479.
  37. P. C. Gilmore, Donald Martin & Elliott Mendelson (1975). Meeting of the Association for Symbolic Logic, New York, 1974. Journal of Symbolic Logic 40 (2):299-304.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. Elliott Mendelson (1959). Bernays Paul. Axiomatic Set Theory. Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1958, VIII + 226 Pp.Fraenkel A. A.. Part I. Historical Introduction. Therein, Pp. 3–35. [REVIEW] Journal of Symbolic Logic 24 (3):224-225.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39. Elliott Mendelson (1986). Ershov Yu. L. And Palyutin E. A.. Mathematical Logic. Revised English Translation by Shokurov Vladimir of the Preceding. Mir Publishers, Moscow 1984, 303 Pp. [REVIEW] Journal of Symbolic Logic 51 (3):829.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40. Elliott Mendelson (1968). Gladstone M. D.. Finite Models for Inequalities. Journal of Symbolic Logic 33 (3):479.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41. Elliott Mendelson (1967). Halpern J. D.. The Independence of the Axiom of Choice From the Boolean Prime Ideal Theorem. Fundamenta Mathematicae, Vol. 55 , Pp. 57–66. [REVIEW] Journal of Symbolic Logic 32 (2):273-274.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42. Elliott Mendelson (1973). Kolmogorov A. N. And Uspeńskij V. A.. K Oprédéléniú Algoritma . Uspéhi Matématičéskih Nauk, Vol. 13 No. 4 , Pp. 3–28. Journal of Symbolic Logic 38 (4):655.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43. Elliott Mendelson (1971). Lévy Azriel. On Models of Set Theory with Urelements. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques Et Physiques, Vol. 8 , Pp. 463–465. [REVIEW] Journal of Symbolic Logic 36 (4):682.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44. Elliott Mendelson, Richard C. Jeffrey, Ernest Adams, Ernest Nagel, Patrick Suppes & Alfred Tarski (1964). Logic, Methodology, and Philosophy of Science. Three ReviewsLogic, Methodology, and Philosophy of Science. Journal of Philosophy 61 (2):76.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45. Elliott Mendelson (1970). Mal′cév A. I.. Polno numérovannyé množéstva . Algébra i logika, Séminar, vol. 2 no. 2 , pp. 4–29.Mal′cév A. I.. K téorii vyčislimyh séméjstv obéktov . Archiv für mathematische Logik und Grundlagenforschung, vol. 3 no. 4 , pp. 5–31.Mal′cév A. I.. Pozitwnyé i négatwnyé numéracii . Doklady Akadémii Nauk, SSSR, vol. 160 , pp. 278–280. [REVIEW] Journal of Symbolic Logic 35 (2):336-337.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  46. Elliott Mendelson (1968). Mostowski A.. On Models of Axiomatic Set-Theory. Bulletin de L′Académie Polonaise des Sciences, Classe III, Vol. 4 , Pp. 663–667.Mostowski A.. Zaméčaniá K Dokazatél′Stvam Suščéstvovaniá Standartnyh Modéléj . Trudy Trét′Égo Vsésoúznogo Matématičéskogo Sézda, Moskva, Iún′-Iúl′ 1956, Volume IV, Kratkoé Sodéržanié Sékcionnyh Dokladov, Doklady Inostrannyh Učényh, Izdatél′Stvo Akadémii Nauk SSSR, Moscow 1959, Pp. 232–236. [REVIEW] Journal of Symbolic Logic 32 (4):531-532.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47. Elliott Mendelson (1960). Montague R. And Vaught R. L.. Natural Models of Set Theories. Fundamenta Mathematical Vol. 47 , Pp. 219–242. Journal of Symbolic Logic 25 (2):177.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48. Elliott Mendelson (1960). Montague R. And Vaught R. L.. A Note on Theories with Selectors. Fundamenta Mathematical Vol. 47 , Pp. 243–247. Journal of Symbolic Logic 25 (2):177-178.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49. Elliott Mendelson (1969). Ono Katuzi. On a Practical Way of Describing Formal Deductions. Nagoya Mathematical Journal, Vol. 21 , Pp. 115–121.Ono Katuzi. New Formulation of the Axiom of Choice by Making Use of the Comprehension Operator. Nagoya Mathematical Journal, Vol. 23 , Pp. 53–71. [REVIEW] Journal of Symbolic Logic 34 (2):307.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50. Elliott Mendelson (1972). Polákov É. A.. Algébry rékursivnyh funkcij . Algébra i logika, Séminar, vol. 3 no. 1 , pp. 41–56.Polákov É. A.. O nékotoryh svojstvah algébr rékwsivnyh funkcij . Algébra i logika, Séminar, vol. 3 no. 3 , pp. 39–57. [REVIEW] Journal of Symbolic Logic 37 (2):408-409.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 70