70 found
Order:
See also
  1.  77
    Introduction to Mathematical Logic.Elliott Mendelson - 1964 - Princeton: 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  
     
    Bookmark   140 citations  
  2.  8
    Naive Set Theory.Axiomatic Set Theory.Elliott Mendelson - 1960 - Journal of Philosophy 57 (15):512-513.
  3.  10
    Second Thoughts About Church's Thesis and Mathematical Proofs.Elliott Mendelson - 1990 - Journal of Philosophy 87 (5):225.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  4.  1
    Many-Valued Logic.Elliott Mendelson - 1970 - Journal of Philosophy 67 (13):457-458.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  5.  62
    Second Thoughts About Church's Thesis and Mathematical Proofs.Elliott Mendelson - 1990 - Journal of Philosophy 87 (5):225-233.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  6.  12
    The Incomplete Universe: Totality, Knowledge, and Truth.Elliott Mendelson & Patrick Grim - 1994 - Philosophical Quarterly 44 (176):409.
  7.  25
    J. W. Swanson. A Reduction Theorem for Normal Algorithms. The Journal of Symbolic Logic, Vol. 31 , Pp. 86–97.Elliott Mendelson - 1967 - Journal of Symbolic Logic 32 (1):123.
  8.  21
    Yu. L. Ershov and E. A. Palyutin. Mathematical Logic. Revised English Translation by Vladimir Shokurov of the Preceding. Mir Publishers, Moscow1984, 303 Pp. [REVIEW]Elliott Mendelson - 1986 - Journal of Symbolic Logic 51 (3):829-829.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  51
    Measurement: Definitions and Theories.Elliott Mendelson - 1960 - Journal of Philosophy 57 (15):513-514.
  10.  13
    B. A. Trahténbrot. O častotnom vyčislénii funkcij . Algébra i logika, Séminar, vol. 2 no. 1 , pp. 25–32.Elliott Mendelson - 1974 - Journal of Symbolic Logic 39 (3):606.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  42
    Theory and Problems of Boolean Algebra and Switching Circuits.Elliott Mendelson - 1974 - Journal of Symbolic Logic 39 (3):615-615.
  12.  11
    A. N. Kolmogorov and V. A. Uspeńskij. K Oprédéléniú Algoritma . Uspéhi Matématičéskih Nauk, Vol. 13 No. 4 , Pp. 3–28.Elliott Mendelson - 1973 - Journal of Symbolic Logic 38 (4):655.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  37
    A Semantic Proof of the Eliminability of Descriptions.Elliott Mendelson - 1960 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (7-14):199-200.
  14.  10
    A. I. Mal′cév. Polno numérovannyé množéstva . Algébra i logika, Séminar, vol. 2 no. 2 , pp. 4–29. - A. I. Mal′cév. K téorii vyčislimyh séméjstv obéktov . Archiv für mathematische Logik und Grundlagenforschung, vol. 3 no. 4 , pp. 5–31. - A. I. Mal′cév. Pozitwnyé i négatwnyé numéracii . Doklady Akadémii Nauk, SSSR, vol. 160 , pp. 278–280. [REVIEW]Elliott Mendelson - 1970 - Journal of Symbolic Logic 35 (2):336-337.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  10
    M. D. Gladstone. Finite Models for Inequalities. The Journal of Symbolic Logic, Vol. 31 , Pp. 581–592.Elliott Mendelson - 1968 - Journal of Symbolic Logic 33 (3):479.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  50
    The Independence of a Weak Axiom of Choice.Elliott Mendelson - 1956 - Journal of Symbolic Logic 21 (4):350-366.
  17.  17
    On Some Recent Criticism of Church's Thesis.Elliott Mendelson - 1963 - Notre Dame Journal of Formal Logic 4 (3):201-205.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  24
    Logic, Methodology, and Philosophy of Science. Three ReviewsLogic, Methodology, and Philosophy of Science.Elliott Mendelson, Richard C. Jeffrey, Ernest Adams, Ernest Nagel, Patrick Suppes & Alfred Tarski - 1964 - Journal of Philosophy 61 (2):76.
  19.  13
    On Non-Standard Models for Number Theory.Elliott Mendelson - 1961 - In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem, Magnes Press, Hebrew University;. pp. 259--268.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  54
    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]Elliott Mendelson - 2005 - Studia Logica 79 (3):409-410.
  21.  19
    Some Superconstructive Propositional Calculi.Realizable Formulas of Propositional Logic.The Relationship Between Deducibility in the Intuitionist Propositional Calculus and Finite Implicational Structures. [REVIEW]Gene F. Rose, V. A. Jankov, Sue Walker & Elliott Mendelson - 1970 - Journal of Symbolic Logic 35 (1):138.
  22.  4
    Some Superconstructive Propositional Calculi.V. A. Jankov, Sue Walker & Elliott Mendelson - 1970 - Journal of Symbolic Logic 35 (1):138-139.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  19
    Naive Set Theory.Axiomatic Set Theory. [REVIEW]Elliott Mendelson - 1960 - Journal of Philosophy 57 (15):512-513.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  16
    Halpern J. D.. The Independence of the Axiom of Choice From the Boolean Prime Ideal Theorem. Fundamenta Mathematicae, Vol. 55 , Pp. 57–66. [REVIEW]Elliott Mendelson - 1967 - Journal of Symbolic Logic 32 (2):273-274.
  25.  13
    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]Elliott Mendelson - 1971 - Journal of Symbolic Logic 36 (4):682-682.
  26.  7
    Quelques Pseudo-Paradoxes de la "Calculabilité Effective.".Jean Porte & Elliott Mendelson - 1968 - Journal of Symbolic Logic 33 (3):471-472.
  27.  15
    Philosophical Problems of Many-Valued Logic. [REVIEW]Elliott Mendelson - 1966 - Journal of Philosophy 63 (15):445-446.
  28.  33
    Graham Oppy. Philosophical Perspectives on Infinity.Elliott Mendelson - 2007 - 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 (8 more)  
     
    Export citation  
     
    Bookmark  
  29.  12
    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]Elliott Mendelson - 1972 - Journal of Symbolic Logic 37 (2):408-409.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  16
    Review: Azriel Levy, On Models of Set Theory with Urelements. [REVIEW]Elliott Mendelson - 1971 - Journal of Symbolic Logic 36 (4):682-682.
  31.  3
    A Semantic Proof Of The Eliminability Of Descriptions.Elliott Mendelson - 1960 - Mathematical Logic Quarterly 6 (7-14):199-200.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  9
    Meeting of the Association for Symbolic Logic, New York, 1974.P. C. Gilmore, Donald Martin & Elliott Mendelson - 1975 - Journal of Symbolic Logic 40 (2):299-304.
  33.  9
    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]Elliott Mendelson - 1959 - Journal of Symbolic Logic 24 (3):224-225.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  13
    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]Elliott Mendelson - 2005 - Studia Logica 79 (3):409-410.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  23
    Critical Studies/Book Reviews.Elliott Mendelson - 2000 - Philosophia Mathematica 8 (3):345-346.
  36.  20
    Some Proofs of Independence in Axiomatic Set Theory.Elliott Mendelson - 1956 - Journal of Symbolic Logic 21 (3):291-303.
  37.  10
    Many-Valued Logic. [REVIEW]Elliott Mendelson - 1970 - Journal of Philosophy 67 (13):457-458.
  38.  17
    Meeting of the Association for Symbolic Logic.P. C. Gilmore, Donald Martin & Elliott Mendelson - 1975 - Journal of Symbolic Logic 40 (2):299-304.
  39.  9
    Review: A. N. Kolmogorov, V. A. Uspenskij, On the Definition of an Algorithm. [REVIEW]Elliott Mendelson - 1973 - Journal of Symbolic Logic 38 (4):655-655.
  40.  5
    Review: R. Montague, R. L. Vaught, Natural Models of Set Theories. [REVIEW]Elliott Mendelson - 1960 - Journal of Symbolic Logic 25 (2):177-177.
  41.  7
    A. Mostowski. On Models of Axiomatic Set-Theory. Bulletin de L′Académie Polonaise des Sciences, Classe III, Vol. 4 , Pp. 663–667. - A. Mostowski. 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, Moscow1959, Pp. 232–236. [REVIEW]Elliott Mendelson - 1968 - Journal of Symbolic Logic 32 (4):531-532.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42.  7
    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]Elliott Mendelson - 1973 - Journal of Symbolic Logic 38 (2):336-337.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  7
    Wang Hao. Process and Existence in Mathematics. Essays on the Foundations of Mathematics, Dedicated to A. A. Fraenkel on His Seventieth Anniversary, Edited by Bar-Hillel Y., Poznanski E. I. J., Rabin M. O., and Robinson A. For The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam 1962, Pp. 328–351. [REVIEW]Elliott Mendelson - 1965 - Journal of Symbolic Logic 30 (2):244-244.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  6
    Montague R. And Vaught R. L.. A Note on Theories with Selectors. Fundamenta Mathematical Vol. 47 , Pp. 243–247.Elliott Mendelson - 1960 - Journal of Symbolic Logic 25 (2):177-178.
  45.  6
    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]Elliott Mendelson - 1969 - Journal of Symbolic Logic 34 (2):307-307.
  46. The Axiom of Fundierung and the Axiom of Choice.Elliott Mendelson - 1958 - Archive for Mathematical Logic 4 (3/4):65.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  13
    Annual Meeting of the Association for Symbolic Logic.Sidney Morgenbesser & Elliott Mendelson - 1966 - Journal of Symbolic Logic 31 (4):682-696.
  48.  8
    Review: Yu. L. Ershov, E. A. Palyutin, Mathematical Logic. [REVIEW]Elliott Mendelson - 1986 - Journal of Symbolic Logic 51 (3):829-829.
  49.  6
    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]Elliott Mendelson - 1969 - Journal of Symbolic Logic 34 (2):307-307.
  50.  5
    Uspénskij V. A.. Lékcii o vyčislimyh funkciáh . Gosudarstvénnoé Izdatél′stvo Fiziko-matématičéskoj Literatury, Moscow 1960, 492 pp. [REVIEW]Elliott Mendelson - 1966 - Journal of Symbolic Logic 31 (2):263-264.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 70