131 found
Order:
Disambiguations
Martin Davis [150]Martin D. Davis [1]
See also
Martin Davis
University of Arizona
Martin Davis
Sewanee, The University of the South
  1. Computability & Unsolvability.Martin Davis - 1958 - Dover Publications.
    Classic text considersgeneral theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, computable functionals, classification of unsolvable decision problems and more.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   100 citations  
  2. The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions.Martin Davis (ed.) - 1965 - Dover Publication.
    "A valuable collection both for original source material as well as historical formulations of current problems."-- The Review of Metaphysics "Much more than a mere collection of papers . . . a valuable addition to the literature."-- Mathematics of Computation An anthology of fundamental papers on undecidability and unsolvability by major figures in the field, this classic reference opens with Godel's landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all true assertions of arithmetic. Subsequent papers by (...)
    Direct download  
     
    Export citation  
     
    Bookmark   69 citations  
  3. Gödel Kurt. Über Die Länge von Beweisen (1936a). A Reprint of I 116. Reelle Funktionen, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986 Pp. 396, 398. Gödel Kurt. On the Length of Proofs (1936a). English Translation by Stefan Bauer-Mengelberg and Jean van Heijenoort of the Preceding. Reelle Funktionen, by Kurt Gödel, Edited by Feferman Solomon ... [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):348.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4. Kurt Gödel. Review of Skolem's Über Die Unmöglichkeit Einer Vollständigen Charakterisierung der Zahlenreihe Mittels Eines Endlichen Axiomensystems . Reelle Funktionen, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 Pp. 378, 380. , Pp. 193–194.) - Kurt Gödel. English Translation by John Dawson of This Review. Reelle Funktionen, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 Pp. 379, 381. - Kurt Gödel. Review of Skolem's Über Die Nicht-Charakterisierbarkeit der Zahlenreihe Mittels Endlich Oder Abzählbar Unendlich Vieler Aussagen Mil Ausschlieβlich Zahlenvariablen . Reelle Funktionen, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregor. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):347-348.
  5.  85
    Kurt Gödel. Review of Hahn's Reelle Funktionen. By Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Even Pp. 332– 336. , Literaturberichte, Pp. 20– 22.) - Kurt Gödel. English Translation by John Dawson of This Review. Reelle Funktionen, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 Odd Pp. 333– 337. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):346-347.
  6.  66
    Kurt Gödel. Über Die Vollständigkeit des Logikkalküls . Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Even Pp. 60– 100. - Kurt Gödel. On the Completeness of the Calculus of Logic . English Translation by Stefan Bauer-Mengelberg and Jean van Heijenoort of the Preceding. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Odd Pp. 61– 101. - Kurt Gödel. Die Vollständigkeit der Axiome des Logischen Funktionenkalküls . A Reprint of 4182. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):341-342.
  7.  72
    Is Mathematical Insight Algorithmic?Martin Davis - 1990 - Behavioral and Brain Sciences 13 (4):659-660.
  8.  43
    Corrado Böhm. On a Family of Turing Machines and the Related Programming Language. ICC Bulletin, Vol. 3 , Pp. 185–194.Martin Davis - 1966 - Journal of Symbolic Logic 31 (1):140-140.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9.  42
    Selected Papers of Abraham Robinson. Volume 2. Nonstandard Analysis and Philosophy. Edited and with an Introduction by W. A. J. Luxemburg and S. Körner. Yale University Press, New Haven and London1979, Xlv + 582 Pp. - George B. Seligman. Biography of Abraham Robinson, Pp. Xi–Xxx. A Reprint of XLVII 197. - W. A. J. Luxemburg. Introduction to Papers on Nonstandard Analysis and Analysis, Pp. Xxxi–Xxxix. - S. Körner. Introduction to Papers on Philosophy, Pp. Xli–Xlv. - Abraham Robinson. Non-Standard Analysis, Pp. 3–11. A Reprint of XXXIV 292. - Abraham Robinson. On Languages Which Are Based on Non-Standard Arithmetic, Pp. 12–46. A Reprint of XXXIV 516. - Abraham Robinson. On Generalized Limits and Linear Functionals, Pp. 47–61. A Reprint of XXXIV 292. - Abraham Robinson. On the Theory of Normal Families, Pp. 62–87. A Reprint of XXXVII 215. - Allen R. Bernstein and Abraham Robinson. Solution of an Invariant Subspace Problem of K. T. Smith and P. R. Halmos, Pp. 88–98. A Reprint of XXXIV 292. [REVIEW]Martin Davis - 1982 - Journal of Symbolic Logic 47 (1):203-210.
  10.  42
    Kurt Gödel. Einige Metamathematische Resultate Über Entscheidunasdefinitheit Und Widerspruchsfreiheit . A Reprint of 4181. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Pp. 140, 142. - Kurt Gödel. Some Metamathematical Results on Completeness and Consistency . A Reprint of XXXVII 405 . Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Pp. 141, 143. - Kurt Gödel. Über Formal Unentscheidbare Sätze der Principia Mathematica Und Verwandter Systeme I . A Reprint of 4183. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Solomon Feferman, John W. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):342-343.
  11.  40
    Kurt Gödel. Eine Interpretation des Intuitionistischen Aussagenkalküls . A Reprint of 41812. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Pp. 300, 302. - Kurt Gödel. An Interpretation of the Intuitionistic Propositional Calculus . English Translation by John Dawson of the Preceding. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Pp. 301, 303. - A. S. Troelstra. Introductory Note to 1933f. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Je. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):346-346.
  12.  38
    Kurt Gödel. Review of Hilbert's Die Grundlegung der Elementaren Zahlentheorie . Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Pp. 212, 214. , P. 260.) - Kurt Gödel. English Translation by John Dawson of This Review. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Pp. 213, 215. - Solomon Feferman. Introductory Note to 1931C. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York A. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):344-344.
  13.  41
    How Subtle is Gödel's Theorem? More on Roger Penrose.Martin Davis - 1993 - Behavioral and Brain Sciences 16 (3):611-612.
  14.  32
    Origins of Recursive Function Theory.Stephen C. Kleene & Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):348-350.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  15.  34
    Kurt Gödel. Review of Church's A Set of Postulates for the Foundation of Logic . Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Pp. 256, 258. , Pp. 145–146.) - Kurt Gödel. English Translation by John Dawson of This Review. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Pp. 257, 259. - Kurt Gödel. Review of Church's A Set of Postulates for the Foundation of Logic . Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon P. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):345-345.
  16.  62
    What Did Gödel Believe and When Did He Believe It?Martin Davis - 2005 - Bulletin of Symbolic Logic 11 (2):194-206.
  17.  31
    Kurt Gödel. Diskussion Zur Grundlegung der Mathematik . A Reprint of 4184. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Pp. 200, 202. - Kurt Gödel. Discussion on Providing a Foundation for Mathematics . English Translation by John Dawson of the Preceding. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Pp. 201, 203. , Pp. 125-126.) - Kurt Gödel. Nachtrag. A Reprint of 4185. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoor. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):343-343.
  18.  30
    John W. Dawson Jr. A Gödel Chronology. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Pp. 37– 43. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):341.
  19.  30
    Marvin L. Minsky. Recursive Unsolvability of Post's Problem of “Tag” and Other Topics in the Theory of Turing Machines. Annals of Mathematics, Second Series, Vol. 74 , Pp. 437–455. [REVIEW]Martin Davis - 1966 - Journal of Symbolic Logic 31 (4):654-655.
  20.  29
    Verena H. Dyson, James P. Jones, and John C. Shepherdson. Some Diophantine Forms of Gödel's Theorem. Archiv Für Mathematische Logik Und Grundlagenforschung, Vol. 22 , Pp. 51–60. - James P. Jones. Universal Diophantine Equation. The Journal of Symbolic Logic, Vol. 47 , Pp. 549–571. - J. P. Jones and Ju. V. Matijasevič. Exponential Diophantine Representation of Recursively Enumerable Sets. English with French Abstract. Proceedings of the Herbrand Symposium, Logic Colloquium '81, Proceedings of the Herbrand Symposium Held in Marseilles, France, July 1981, Edited by J. Stern, Studies in Logic and the Foundations of Mathematics, Vol. 107, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, Pp. 159–177. - J. P. Jones and Y. V. Matijasevič. Register Machine Proof of the Theorem on Exponential Diophantine Representation of Enumerable Sets. The Journal of Symbolic Logic, Vol. 49 , Pp. 818–829. [REVIEW]Martin Davis - 1986 - Journal of Symbolic Logic 51 (2):477-479.
  21.  29
    Kurt Gödel. Ein Spezialfall des Entscheidungsproblems der Theoretischen Logik . A Reprint of 4187. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Even Pp. 230–234. - Kurt Gödel. A Special Case of the Decision Problem for Theoretical Logic . English Translation by John Dawson of the Preceding. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Odd Pp. 231– 235. - Kurt Gödel. Zum Entscheidungsproblem des Logischen Funktionenkalüls . A Reprint of 41813. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):344-345.
  22.  33
    A Computing Procedure for Quantification Theory.Martin Davis & Hilary Putnam - 1966 - Journal of Symbolic Logic 31 (1):125-126.
  23.  25
    Kurt Gödel. Über Unabhängigkeitsbeweise Im Aussagenkalküls . A Reprint of 41810. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Pp. 268, 270. - Kurt Gödel. On Independence Proofs in the Propositional Calculus . English Translation by John Dawson of the Preceding. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Pp. 269, 271. - W. V. Quine. Introductory Note to 1933a. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarend. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):345-346.
  24.  21
    Wilson E. Singletary. A Complex of Problems Proposed by Post. Bulletin of the American Mathematical Society, Vol. 70 , Pp. 105–109. See Correction, Ibid., P. 826. [REVIEW]Martin Davis - 1966 - Journal of Symbolic Logic 31 (2):273-274.
  25. Meeting of the Association for Symbolic Logic: Washington, D. C., 1985.Martin Davis, Edgar E. K. Lopez-Escobar & Wilfred Sieg - 1986 - Journal of Symbolic Logic 51 (4):1085-1092.
  26.  21
    Solomon Feferman. Gödel's Life and Work. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Pp. 1–36. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):340-341.
  27.  18
    Julia Robinson. Recursive Functions of One Variable. Proceedings of the American Mathematical Society, Vol. 19 , Pp. 815–820. [REVIEW]Martin Davis - 1970 - Journal of Symbolic Logic 35 (3):476.
  28.  15
    Julia Robinson. The Undecidability of Algebraic Rings and Fields. Proceedings of the American Mathematical Society, Vol. 10 , Pp. 950–957. [REVIEW]Martin Davis - 1964 - Journal of Symbolic Logic 29 (1):57-58.
  29.  15
    The Decision Problem for Exponential Diophantine Equations.Martin Davis, Hilary Putnam & Julia Robinson - 1970 - Journal of Symbolic Logic 35 (1):151-152.
  30.  14
    Ú. V. Matiásévič. Diofantovo Prédstavlénié Péréčislimyh Prédikatov. Izvéstiá Akadémii Nauk SSSR, Sériá Matématičéskaá, Vol. 35 , Pp. 3–30. - Ju. V. Matijasevič. Diophantine Representation of Enumerable Predicates. English Translation of the Preceding by F. M. Goldware. Mathematics of the USSR, Izvestija, Vol. 5 , Pp. 1–28. [REVIEW]Martin Davis - 1974 - Journal of Symbolic Logic 39 (3):605.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  13
    American Logic in the 1920s.Martin Davis - 1995 - Bulletin of Symbolic Logic 1 (3):273-278.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  32.  43
    On Undecidable Propositions of Formal Mathematical Systems .PostscriptumIntroductory Note to 1934.Martin Davis, Kurt Godel & Stephen C. Kleene - 1990 - Journal of Symbolic Logic 55 (1):347.
  33.  12
    Richard Montague. Towards a General Theory of Computability. Synthese, Vol. 12 No. 4 , Pp. 429–438.Martin Davis - 1964 - Journal of Symbolic Logic 29 (1):63-64.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  9
    [Omnibus Review].Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):342-343.
  35.  8
    A Note on Universal Turing Machines.M. D. Davis & Martin Davis - 1970 - Journal of Symbolic Logic 35 (4):590-590.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  36.  14
    Mathematical Problems. Lecture Delivered Before the International Congress of Mathematicians at Paris in 1900.David Hilbert, Mary Winston Newsom, Felix E. Browder, Donald A. Martin, G. Kreisel & Martin Davis - 1979 - Journal of Symbolic Logic 44 (1):116-119.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  37.  33
    Fraïssé Roland. Sur une extension de la polyrelation et des parentés tirant son origine du calcul logique du kème échelon. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, pp. 45–50.Tarski A.. Intervention. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, p. 50.de Possel René and Fraïssé Roland. Hypothèses de la théorie des relations qui permettent d'associer, a un bon ordre d'un ensemble, un bon ordre, défini sans ambiguïté, de l'ensemble de ses parties. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, pp. 5. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):285-285.
    Direct download (7 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38.  26
    Albert Ch'telet. Allocution prononcée par M. A. Ch'telet. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 11–12. - Th. Skolem. Une relativisation des notions mathématiques fondamentales. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 13–17. - A. Tarski, M. Krasner, A. Mostowski, R. de Possel. Interventions. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 17–18. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):285-286.
    Direct download (7 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39.  11
    Review: J. W. Addison, S. C. Kleene, A Note on Function Quantification. [REVIEW]Martin Davis - 1958 - Journal of Symbolic Logic 23 (1):47-48.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  30
    Lacombe Daniel. Sur les possibilités d'extension de la notion de fonction récursive aux fonctions d'une ou plusieurs variables réelles. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, pp. 67–74.Bouligand G.. Intervention. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, p. 75. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):286-287.
    Direct download (9 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41.  18
    Arithmetical Problems and Recursively Enumerable Predicates.Martin Davis - 1953 - Journal of Symbolic Logic 18 (1):33-41.
  42.  29
    Destouches Jean-Louis and Février Paulette. Remarques Sur Certains Aspects Formels des Théories Physiques. Le Raisonnement En Mathématiques Et En Sciences Expérimentales. Colloques Internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, Pp. 127–131.Fréchet M., Destouches J.-L., Bouligand G., Beth E. W., Février P.. Interventions. Le Raisonnement En Mathématiques Et En Sciences Expérimentales. Colloques Internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, Pp. 132–133. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):288-288.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43.  29
    Reviews. Alfred Tarski. Preface. Undecidable Theories, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1953, Pp. VIII–IX. Alfred Tarski. A General Method in Proofs of Undecidability. Undecidable Theories, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1953, Pp. 3–35. Andrzej Mostowski, Raphael M. Robinson, and Alfred Tarski. Undecidability and Essential Undecidability in Arithmetic. Undecidable Theories, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1953, Pp. 39–74. Alfred Tarski. Undecidability of the Elementary Theory of Groups. Undecidable Theories, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1953, Pp. 77–87. Bibliography. Undecidable Theories, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1953, Pp. 89–91. Index. Undecidable Theories. [REVIEW]Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  37
    M. L. Minsky. Size and Structure of Universal Turing Machines Using Tag Systems. Recursive Function Theory, Proceedings of Symposia in Pure Mathematics, Vol. 5, American Mathematical Society, Providence 1962, Pp. 229–238. [REVIEW]Martin Davis - 1966 - Journal of Symbolic Logic 31 (4):655-655.
  45.  23
    Robinson A.. A Basis for the Mechanization of the Theory of Equations. Computer Programming and Formal Systems, Edited by Braffort P. And Hirschberg D., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1963, Pp. 95–99.Robinson A.. On the Mechanization of the Theory of Equations. Bulletin of the Research Council of Israel, Vol. 9F No. 2 , Pp. 47–70. [REVIEW]Martin Davis - 1968 - Journal of Symbolic Logic 33 (1):118-118.
  46.  21
    Porte J.. Recherches sur les logiques modales. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, pp. 117–126. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):288-288.
    Direct download (7 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  5
    Review: Edward Nelson, Internal Set Theory: A New Approach to Nonstandard Analysis. [REVIEW]Martin Davis - 1983 - Journal of Symbolic Logic 48 (4):1203-1204.
  48.  6
    Review: Georg Kreisel, Daniel Lacombe, Joseph R. Shoenfield, Fonctionnelles Recursivement Definissables et Fonctionnelles Recursives. [REVIEW]Martin Davis - 1958 - Journal of Symbolic Logic 23 (1):48-48.
  49.  17
    Beth E. W.. Construction Sémantique de la Logique Intuitioniste. Le Raisonnement En Mathématiques Et En Sciences Expérimentales. Colloques Internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, Pp. 77–83.Heyting A.. Intervention. Le Raisonnement En Mathématiques Et En Sciences Expérimentales. Colloques Internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, P. 84.Heyting A.. La Théorie Élémentaire de l'Intégration En Mathématiques Intuitionnistes. Le Raisonnement En Mathématiques Et En Sciences Expérimentales. Colloques Internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, Pp. 85–90. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):287-287.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  17
    Lecture Notes on Mathematical Logic.A. H. Lightstone & Martin Davis - 1970 - Journal of Symbolic Logic 35 (1):167.
1 — 50 / 131