Results for 'E. Mendelson'

975 found
Order:
  1.  35
    Mathematical Intuitionism. Introduction to Proof Theory.A. G. Dragalin & E. Mendelson - 1990 - Journal of Symbolic Logic 55 (3):1308-1309.
  2.  68
    The King, the Traitor, and the Cross: an Interpretation of a Highland Maya Religious Conflict.E. Michael Mendelson - 1958 - Diogenes 6 (21):1-10.
  3.  89
    The Uses of Religious Scepticism in Modern Burma.E. Michael Mendelson - 1963 - Diogenes 11 (41):94-116.
  4.  8
    Sangha and State in Burma. A Study of Monastic Sectarianism and Leadership.B. G. Gokhale, E. Michel Mendelson & John P. Fergusson - 1978 - Journal of the American Oriental Society 98 (2):202.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  5.  7
    Isomorphism of Systems of Recursively Enumerable Sets with Effective Properties.E. Mendelson - 1967 - Journal of Symbolic Logic 32 (3):393-394.
  6.  9
    On Simplification Algorithms for Disjunctive Normal Forms.E. Mendelson - 1966 - Journal of Symbolic Logic 31 (1):141-141.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7. Roman Murawski, recursive functions and metamathematics: Problems of completeness and decidability.E. Mendelson - 2000 - Philosophia Mathematica 8 (3):345-346.
     
    Export citation  
     
    Bookmark  
  8.  6
    Some Properties of Constructive Real Numbers and Constructive Functions.E. Mendelson - 1975 - Journal of Symbolic Logic 40 (3):454-454.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  9
    Superintuitionistic Logics and Finite Approximability.A. V. Kuznecov & E. Mendelson - 1972 - Journal of Symbolic Logic 37 (4):757-757.
  10.  6
    Undecidability of the General Problems of Completeness, Decidability and Equivalence for Propositional Calculi.A. V. Kuznecov & E. Mendelson - 1972 - Journal of Symbolic Logic 37 (4):756-757.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  24
    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]E. Mendelson - 2005 - Philosophia Mathematica 13 (2):231-232.
  12.  45
    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]E. Mendelson - 2005 - Philosophia Mathematica 13 (2):228-230.
  13.  9
    Andrzej Mostowski. An example of a non-axiomatizable many valued logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 72–76. [REVIEW]G. E. Minc, V. P. Orevkov & E. Mendelson - 1970 - Journal of Symbolic Logic 35 (1):143-143.
  14.  11
    On the Number of Simple Bases of Boolean Functions.On Superpositions of Functions in P k.Investigation of some Classes of Functions in Multivalued Logics.On some Properties of Essential Functions from P k. [REVIEW]Arto Salomaa, G. A. Sestopal, E. Mendelson, S. V. Ablonskij, V. V. Martynuk & E. U. Zaharov - 1966 - Journal of Symbolic Logic 31 (3):501.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  26
    Quintilian and the Pedagogy of Argument.Michael Mendelson - 2001 - Argumentation 15 (3):277-294.
    Originating in the Sophistic pedagogy of Protagoras and reflecting the sceptical practice of the New Academy, Quintilian's rhetorical pedagogy places a special emphasis on the juxtaposition of multiple, competing claims. This inherently dialogical approach to argumentation is referred to here as controversia and is on full display in Quintilian's own argumentative practice. More important to this paper, however, is the role of controversia as an organizing principle for Quintilian's rhetorical curriculum. In particular, Quintilian introduces the protocols of controversia through a (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  16.  55
    "By the things themselves": Eudaimonism, direct acquaintance, and illumination in Augustine's.Michael Mendelson - 2001 - Journal of the History of Philosophy 39 (4):467-489.
    In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 39.4 (2001) 467-489 [Access article in PDF] "By the Things Themselves":Eudaimonism, Direct Acquaintance, and Illumination in Augustine's De Magistro 1 Michael Mendelson 1. The Eudaimonistic Interlude It comes as a surprise. Two-thirds of the way through De Magistro, amid a torturous and at times obscure discussion of the nature of language, Augustine pauses to provide Adeodatus, his son and interlocutor, with what (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  17. Beyond the revolutions of matter. Mind, body, and pre-established harmony in the earlier Leibniz.Michael Mendelson - 1995 - Studia Leibnitiana 27 (1):31-66.
    Leibniz' prästabilierte Harmonie kann leicht als ein Versuch ausgelegt werden, die Beziehung zwischen cartesianischem Geist und Körper zu erklären, während gleichzeitig das Problem der 'kausalen Gleichheit' vermieden wird, das der cartesianische 'Interaktionismus' aufwirft. Es entstehen jedoch zwei Probleme durch eine Interpretation dieser Art. Erstens, warum wendet der frühe Leibniz die prästabilierte Harmonie auf alle Interaktionen zwischen Substanzen an und nicht nur auf die zwischen Geist und Körper? Zweitens, warum wendet der frühe Leibniz die prästabilierte Harmonie auf die Beziehung zwischen Geist (...)
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  18.  26
    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)  
     
    Export citation  
     
    Bookmark  
  19.  6
    Review: E. A. Polakov, Algebras of recursive functions); E. A. Polakov, On some properties of algebras of recursive functions. [REVIEW]Elliott Mendelson - 1972 - Journal of Symbolic Logic 37 (2):408-409.
  20.  11
    Review: Yu. L. Ershov, E. A. Palyutin, Mathematical Logic. [REVIEW]Elliott Mendelson - 1986 - Journal of Symbolic Logic 51 (3):829-829.
  21.  32
    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  
  22.  13
    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  
  23. Review: S. Ju. Maslov, Elliott Mendelson, Strong Representability of Sets by Calculi. [REVIEW]E. M. Fels - 1967 - Journal of Symbolic Logic 32 (3):391-392.
  24.  16
    S. Ú. Maslov. О strogoj prédstavimosti množéstv isčisléniámi. Doklady Akadémii Nauk SSSR, Vol. 152 , pp. 272–274. - S. Ju. Maslov. Strong representability of sets by calculi. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 4 no. 5 , pp. 1292–1295. [REVIEW]E. M. Fels - 1967 - Journal of Symbolic Logic 32 (3):391-392.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  17
    Čudnovskiǐ G. V.. Some results in the theory of infinitely long expressions. English translation of XXXVII 215 by Mendelson E.. Soviet mathematics, vol. 9 no. 2 , pp. 556–559. [REVIEW]E. G. K. López-Escobar - 1972 - Journal of Symbolic Logic 37 (1):202-203.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  19
    Elliott Mendelson. Theory and problems of Boolean algebra and switching circuits. Schaum's outline series, McGraw-Hill Book Company, New York etc. 1970, viii + 213 pp. [REVIEW]William E. Gould - 1974 - Journal of Symbolic Logic 39 (3):615.
  27.  13
    Review: Elliott Mendelson, Theory and Problems of Boolean Algebra and Switching Circuits. [REVIEW]William E. Gould - 1974 - Journal of Symbolic Logic 39 (3):615-615.
  28.  11
    Review: I. D. Zaslavskii, E. Mendelson, Some Properties of Constructive Real Numbers and Constructive Functions. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (3):454-454.
  29. Review: M. I. Kratko, E. Mendelson, A Class of Post Calculi. [REVIEW]J. W. Thatcher - 1967 - Journal of Symbolic Logic 32 (3):393-393.
     
    Export citation  
     
    Bookmark  
  30. Review: A. A. Mucnik, E. Mendelson, Isomorphism of Systems of Recursively Enumerable Sets with Effective Properties. [REVIEW]A. H. Lachlan - 1967 - Journal of Symbolic Logic 32 (3):393-394.
  31.  39
    Review: A. G. Dragalin, E. Mendelson, Mathematical Intuitionism. Introduction to Proof Theory. [REVIEW]A. S. Troelstra - 1990 - Journal of Symbolic Logic 55 (3):1308-1309.
  32. Review: Yu. I. Zuravlev, E. Mendelson, On Simplification Algorithms for Disjunctive Normal Forms. [REVIEW]Andrzej Rowicki - 1966 - Journal of Symbolic Logic 31 (1):141-141.
  33.  22
    A. V. Kuznécov and V. Á. Gérčiu. O supérintuicionistskih logikah i finitnoj approksimiruémosti. Doklady Akadémii Nauk SSSR, vol. 195 , pp. 1029–1032. - A. V. Kuznecov and V. A. Gerčiu. Superintuitionistic logics and finite approximability. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 11 no. 6 , pp. 1614–1619. [REVIEW]Ann Yasuhara - 1972 - Journal of Symbolic Logic 37 (4):757.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  15
    Kuznecov A. V.. Undecidability of the general problems of completeness, decidability and equivalence for propositional calculi. English translation of XXXVII 772 by E. Mendelson. American Mathematical Society translations, ser. 2 vol. 59 , pp. 56–72. [REVIEW]Ann Yasuhara - 1972 - Journal of Symbolic Logic 37 (4):756-757.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  35.  24
    S. Ú. Maslov, G. É. Minc, and V. P. Orévkov. Nérazréšimost′ ν konstruktivnom isčislénii prédikatov nékotoryh klassov formul, sodéržaščih tol′ko odnoméstnyé prédikatnyé péréménnyé. Doklady Akadémii Nauk, vol. 163 , pp. 295–297. - S. Ju. Maslov, G. E. Minc, and V. P. Orevkov. Unsolvability in the constructive predicate calculus of certain classes of formulas containing only monadic predicate variables. Translation of the preceding by E. Mendelson. Soviet mathematics, vol. 6 , pp. 918–920. [REVIEW]Georg Kreisel - 1970 - Journal of Symbolic Logic 35 (1):143-144.
  36.  13
    M. I. Kratko. Ob odnom klassé isčislénij Posta. Doklady Akadémii Nauk SSSR, Vol. 165 , pp. 994–995. - M. I. Kratko. A class of post calculi. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 6 No. 6 , pp. 1544–1545. [REVIEW]J. W. Thatcher - 1967 - Journal of Symbolic Logic 32 (3):393.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  21
    Ú. I. Žuravlév. Ob algoritmahj uproščéniá dizúnktivnyh normal′nyh form. Doklady Akadémii Nauk SSSR, vol. 132 , pp. 260–263. - Yu. I. Žuravlev. On simplification algorithms for disjunctive normal forms. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 1 no. 3 , pp. 526–529. [REVIEW]Andrzej Rowicki - 1966 - Journal of Symbolic Logic 31 (1):141-141.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  38.  19
    G. A. Šéstopal. O čislé prostyh bazisov bulévyh funkcij. Doklady Akadémii Nauk SSSR, vol. 140 , pp. 314–317. - G. A. Šestopal. On the number of simple bases of Boolean functions. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 2 no. 5 , pp. 1215–1219. - S. V. Áblonskij. O supérpoziciáh funkcij v Рκ . Problémy kibérnétiki, vol. 9 , pp. 337–340. - V. V. Martynúk. Isslédovanié nékotoryh klassov funkcij v mnogoznačnyh logikah . Problémy kibérnétiki, vol. 3, pp. 49–60. - É. Ú. Zaharov and S. V. Áblonskij. O nékotoryh svojstvah suščéstvénnyh funkcij iz Рκ . Problémy kibérnétiki, vol. 12 , pp. 247–252. [REVIEW]Arto Salomaa - 1966 - Journal of Symbolic Logic 31 (3):501-502.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  21
    Elliott Mendelson. On non-standard models for number theory. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 259–268. [REVIEW]Steven Orey - 1967 - Journal of Symbolic Logic 32 (1):128.
  40.  8
    Review: Elliott Mendelson, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson, On Non-Standard Models for Number Theory. [REVIEW]Steven Orey - 1967 - Journal of Symbolic Logic 32 (1):128-128.
  41.  20
    N. A. Šanin. On the constructive interpretation of mathematical judgments. English translation of XXXI 255 by Elliott Mendelson. American Mathematical Society translations, ser. 2 vol. 23 , pp. 109–189. - A. A. Markov. On constructive functions. English translation of XXXI 258 by Moshe Machover. American Mathematical Society translations, vol. 29 , pp. 163–195. - S. C. Kleene. A formal system of intuitionistic analysis. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 1–89. - S. C. Kleene. Various notions of realizability:The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 90–132. - Richard E. Ve. [REVIEW]Georg Kreisel - 1966 - Journal of Symbolic Logic 31 (2):258-261.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42. Introduction to mathematical logic.Elliott Mendelson - 1964 - 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  
     
    Bookmark   188 citations  
  43.  7
    Mučnik A. A.. Izomorfizm sistém rékursivno péréčislimyh množéstv s efféktivnymi svojstvami. Trudy Moskovskogo Matématičéskogo Obščéstva, Vol. 7 , pp. 407–412.Mučnik A. A.. Isomorphism of systems of recursively enumerable sets with effective properties. English translation of the preceding by Mendelson E.. American Mathematical Society translations, ser. 2 vol. 23 , pp. 7–13. [REVIEW]A. H. Lachlan - 1967 - Journal of Symbolic Logic 32 (3):393-394.
  44.  13
    Naive Set Theory. [REVIEW]Elliott Mendelson - 1960 - Journal of Philosophy 57 (15):512-513.
  45. Jewish and Christian Self-Definition: The Shaping of Christianity in the Second and Third Centuries. Baumgarten & Mendelson - 1980
    No categories
     
    Export citation  
     
    Bookmark  
  46.  20
    On some recent criticism of Church's Thesis.Elliott Mendelson - 1963 - Notre Dame Journal of Formal Logic 4 (3):201-205.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  47.  8
    Many-Valued Logic. [REVIEW]Elliott Mendelson - 1970 - Journal of Philosophy 67 (13):457-458.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  48.  13
    Quelques Pseudo-Paradoxes de la "Calculabilité Effective.".Jean Porte & Elliott Mendelson - 1968 - Journal of Symbolic Logic 33 (3):471-472.
  49.  2
    Identical Transformations in Four-Place Logic.J. N. Whitney & Elliott Mendelson - 1972 - Journal of Symbolic Logic 37 (4):762-763.
  50.  26
    Second Thoughts about Church's Thesis and Mathematical Proofs.Elliott Mendelson - 1990 - Journal of Philosophy 87 (5):225-233.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   22 citations  
1 — 50 / 975