Results for 'E. Mendelson'

1000+ found
Order:
  1.  2
    Review: Yu. L. Ershov, E. A. Palyutin, Mathematical Logic. [REVIEW]Elliott Mendelson - 1986 - Journal of Symbolic Logic 51 (3):829-829.
  2. 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]Elliott Mendelson - 1986 - Journal of Symbolic Logic 51 (3):829.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3. 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.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4. 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.
  5. 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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  6
    Mathematical Intuitionism. Introduction to Proof Theory.A. G. Dragalin & E. Mendelson - 1990 - Journal of Symbolic Logic 55 (3):1308-1309.
  7.  79
    The Uses of Religious Scepticism in Modern Burma.E. M. Mendelson - 1963 - Diogenes 11 (41):94-116.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  8.  50
    The King, the Traitor, and the Cross: An Interpretation of a Highland Maya Religious Conflict.E. M. Mendelson - 1958 - Diogenes 6 (21):1-10.
  9.  10
    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.
  10.  2
    Superintuitionistic Logics and Finite Approximability.A. V. Kuznecov & E. Mendelson - 1972 - Journal of Symbolic Logic 37 (4):757-757.
  11.  5
    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.  1
    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  
     
    My bibliography  
  13. 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 (2 more)  
     
    Export citation  
     
    My bibliography  
  14. Isomorphism of Systems of Recursively Enumerable Sets with Effective Properties.E. Mendelson - 1967 - Journal of Symbolic Logic 32 (3):393-394.
  15. On Simplification Algorithms for Disjunctive Normal Forms.E. Mendelson - 1966 - Journal of Symbolic Logic 31 (1):141-141.
    Direct download  
     
    Export citation  
     
    My bibliography  
  16. On the Number of Simple Bases of Boolean Functions.E. Mendelson - 1966 - Journal of Symbolic Logic 31 (3):501-502.
    Direct download  
     
    Export citation  
     
    My bibliography  
  17. Roman Murawski, Recursive Functions and Metamathematics: Problems of Completeness and Decidability.E. Mendelson - 2000 - Philosophia Mathematica 8 (3):345-346.
     
    Export citation  
     
    My bibliography  
  18. Some Properties of Constructive Real Numbers and Constructive Functions.E. Mendelson - 1975 - Journal of Symbolic Logic 40 (3):454-454.
    Direct download  
     
    Export citation  
     
    My bibliography  
  19. Unsolvability in the Constructive Predicate Calculus of Certain Classes of Formulas Containing Only Monadic Predicate Variables.G. E. Minc, V. P. Orevkov & E. Mendelson - 1970 - Journal of Symbolic Logic 35 (1):143-144.
  20. 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  
     
    My bibliography  
  21.  16
    Parallel Verse Extracts Parallel Verse Extracts for Translation Into English and Latin, with Special Prefaces on Idioms and Metres, by J. E. Nixon, M.A., and E. H. C. Smith, M.A. (Macmillan & Co.) 5s. 6d. [REVIEW]D. S. E. - 1894 - The Classical Review 8 (03):122-.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22.  15
    The Apparatus Criticus of the Culex. By A. E. Housman. Transactions of the Cambridge Philological Society. Vol. VI. Part I. Pp. 23. Cambridge University Press, 1908. 1s. 6d. Net. [REVIEW]H. E. - 1910 - The Classical Review 24 (05):162-.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23.  2
    Review: S. Ju. Maslov, G. E. Minc, V. P. Orevkov, E. Mendelson, Unsolvability in the Constructive Predicate Calculus of Certain Classes of Formulas Containing Only Monadic Predicate Variables. [REVIEW]Georg Kreisel - 1970 - Journal of Symbolic Logic 35 (1):143-144.
  24.  7
    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.
  25. 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.
  26.  1
    Review: A. V. Kuznecov, E. Mendelson, Undecidability of the General Problems of Completeness, Decidability and Equivalence for Propositional Calculi. [REVIEW]Ann Yasuhara - 1972 - Journal of Symbolic Logic 37 (4):756-757.
    Direct download  
     
    Export citation  
     
    My bibliography  
  27.  1
    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.
  28. Ánkov V. A.. O Finitnoj Obšéeznačimosti Formul Spécial′Nogo Vida. Doklady Akadémii Nauk SSSR, Vol. 174 , Pp. 302–304.Jankov V. A.. Finite Validity of Formulas of a Special Form. English Translation of the Preceding by E. Mendelson. Soviet Mathematics, Vol. 8 No. 3 , Pp. 648–650. [REVIEW]J. G. Anderson - 1973 - Journal of Symbolic Logic 38 (2):331.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29. 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.
  30. 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  
     
    My bibliography  
  31. 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.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32. Review: A. V. Kuznecov, V. A. Gerciu, E. Mendelson, Superintuitionistic Logics and Finite Approximability. [REVIEW]Ann Yasuhara - 1972 - Journal of Symbolic Logic 37 (4):757-757.
  33. Č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 (2 more)  
     
    Export citation  
     
    My bibliography  
  34. 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.
     
    Export citation  
     
    My bibliography  
  35.  2
    Žuravlév Ú. I.. Ob Algoritmahj Uproščéniá Dizúnktivnyh Normal′ Nyh Form. Doklady Akadémii Nauk SSSR, Vol. 132 (1960), Pp. 260–263. Žuravlev Yu. I.. On Simplification Algorithms for Disjunctive Normal Forms. English Translation of the Preceding by Mendelson E.. Soviet Mathematics, Vol. 1 No. 3 (1960), Pp. 526–529. [REVIEW]Andrzej Rowicki - 1996 - Journal of Symbolic Logic 31 (1):141-141.
  36. Reviews of E. Husserl, Logik Und Allgemeine Wissenschaftstheorie. Vorlesungen 1917/18, MIT Ergaumlnzenden Texten Aus der Ersten Fassung 1910/11. Introduction by U. Panzer , ISBN 0 792 33731 X; D. Jacquette, Meinongian Logic. The Semantics of Existence and Nonexistence , ISBN 3 11 014865 X; M. Beaney , The Frege Reader , ISBN 0 631 194 452; Elliott Mendelson, Introduction to Formal Logic, Fourth Edition , ISBN 1 412 808307; Samuel Guttenplan, The Languages of Logic. An Introduction to Formal Logic, Second Edition , ISBN 1 55786 988 X; A. C. Grayling, An Introduction to Philosophical Logic, Third Edition , ISBN 0 631 19982 9; Lewis Carroll, Das Spiel der Logik, Edited with an Afterword by P. Good, Translated by M. Zoumlllner , ISBN 3 7728 1998 2. [REVIEW]C. Hill, R. Poli & jan Dejnozka - 1998 - History and Philosophy of Logic 19 (2):115-123.
  37. Šanin N. A.. On the Constructive Interpretation of Mathematical Judgments. English Translation of XXXI 255 by Mendelson Elliott. American Mathematical Society Translations, Ser. 2 Vol. 23 , Pp. 109–189.Markov A. A.. On Constructive Functions. English Translation of XXXI 258 by Machover Moshe. American Mathematical Society Translations, Vol. 29 , Pp. 163–195.Kleene S. C.. A Formal System of Intuitionistic Analysis. The Foundations of Intuitionistlc Mathematics Especially in Relation to Recursive Functions, by Kleene Stephen Cole and Vesley Richard Eugene, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1965, Pp. 1–89.Kleene S. C.. Various Notions of Realizability: The Foundations of Intuitionistlc Mathematics Especially in Relation to Recursive Functions, by Kleene Stephen Cole and Vesley Richard Eugene, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1965, Pp. 90–132.Vesley Richard E.. The. [REVIEW]Georg Kreisel - 1966 - Journal of Symbolic Logic 31 (2):258-261.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. Maslov S. Ú., Minc G. É., and Orévkov V. P.. 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.Maslov S. Ju., Minc G. E., and Orevkov V. P.. Unsolvability in the Constructive Predicate Calculus of Certain Classes of Formulas Containing Only Monadic Predicate Variables. Translation of the Preceding by Mendelson E.. Soviet Mathematics, Vol. 6 , Pp. 918–920. [REVIEW]Georg Kreisel - 1970 - Journal of Symbolic Logic 35 (1):143-144.
  39. 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.
  40. Mendelson Elliott. On Non-Standard Models for Number Theory. 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. 259–268. [REVIEW]Steven Orey - 1967 - Journal of Symbolic Logic 32 (1):128.
  41. Šéstopal GA. O Čislé Prostyh Bazisov Bulévyh Funkcij. Doklady Akadémii Nauk SSSR, Vol. 140 (1961), Pp. 314–317. Šestopal GA. On the Number of Simple Bases of Boolean Functions. English Translation of the Preceding by Mendelson E.. Soviet Mathematics, Vol. 2 No. 5 (1961), Pp. 1215–1219. Áblonskij SV. O Supérpoziciáh Funkcij V Рκ (On Superpositions of Functions in Ρκ). Problémy Kibérnétiki, Vol. 9 (1963), Pp. 337–340. Martynúk VV. Isslédovanié Nékotoryh Klassov Funkcij V Mnogoznačnyh Logikah ... [REVIEW]Arto Salomaa - 1996 - Journal of Symbolic Logic 31 (3):501-502.
  42. Kratko M. I.. Ob Odnom Klassé Isčislénij Posta. Doklady Akadémii Nauk SSSR, Vol. 165 , Pp. 994–995.Kratko M. I.. A Class of Post Calculi. English Translation of the Preceding by Mendelson E.. Soviet Mathematics, Vol. 6 No. 6 , Pp. 1544–1545. [REVIEW]J. W. Thatcher - 1967 - Journal of Symbolic Logic 32 (3):393.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43. Dragalin A. G.. Mathematical Intuitionism. Introduction to Proof Theory. English Translation by Mendelson E. Of Matématičéskij Intuicionizm, Vvédénié V Téoriúdokazatél'stv. Translations of Mathematical Monographs, Vol. 67. American Mathematical Society, Providence 1988, Ix + 228 Pp. [REVIEW]A. S. Troelstra - 1990 - Journal of Symbolic Logic 55 (3):1308-1309.
  44. Kuznécov A. V. And Gérčiu V. Á.. O Supérintuicionistskih Logikah I Finitnoj Approksimiruémosti. Doklady Akadémii Nauk SSSR, Vol. 195 , Pp. 1029–1032.Kuznecov A. V. And Gerčiu V. A.. Superintuitionistic Logics and Finite Approximability. English Translation of the Preceding by Mendelson E.. Soviet Mathematics, Vol. 11 No. 6 , Pp. 1614–1619. [REVIEW]Ann Yasuhara - 1972 - Journal of Symbolic Logic 37 (4):757.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45.  1
    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.
  46. Maslov S. Ú.. О Strogoj Prédstavimosti Množéstv Isčisléniámi. Doklady Akadémii Nauk SSSR, Vol. 152 , Pp. 272–274.Maslov S. Ju.. Strong Representability of Sets by Calculi. English Translation of the Preceding by Mendelson Elliott. Soviet Mathematics, Vol. 4 No. 5 , Pp. 1292–1295. [REVIEW]E. M. Fels - 1967 - Journal of Symbolic Logic 32 (3):391-392.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47. 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.
  48. Mendelson Elliott. 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.
  49.  2
    [Omnibus Review].Vann McGee - 1991 - Journal of Symbolic Logic 56 (1):329-332.
    Reviewed Works:S. N. Artemov, B. M. Schein, Arithmetically Complete Modal Theories.S. N. Artemov, E. Mendelson, On Modal Logics Axiomatizing Provability.S.N. Artemov, E. Mendelson, Nonarithmeticity of Truth Prdicate Logics of Provability.V. A. Vardanyan, E. Mendelson, Arithmetic Complexity of Predicate Logics of Provability and Their.S. N. Artemov, E. Mendelson, Numerically Correct Provability Logics.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50.  2
    [Omnibus Review].Ehud Hrushovski - 1993 - Journal of Symbolic Logic 58 (2):710-713.
    Reviewed Works:B. I. Zil'ber, L. Pacholski, J. Wierzejewski, A. J. Wilkie, Totally Categorical Theories: Structural Properties and the Non-Finite Axiomatizability.B. I. Zil'ber, Strongly Minimal Countably Categorical Theories.B. I. Zil'ber, Strongly Minimal Countably Categorical Theories. II.B. I. Zil'ber, Strongly Minimal Countably Categorical Theories. III.B. I. Zil'ber, E. Mendelson, Totally Categorical Structures and Combinatorial Geometries.B. I. Zil'ber, The Structure of Models of Uncountably Categorical Theories.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000