170 found
Order:
Disambiguations
Martin Davis [170]Martin D. Davis [1]
See also
Martin Davis
University of Arizona
Martin Davis
Sewanee, The University of the South
  1.  96
    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  
     
    My bibliography   83 citations  
  2.  95
    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  
     
    My bibliography   32 citations  
  3. Computability & Unsolvability.Martin Davis - 1958 - Journal of Symbolic Logic 23 (4):432-433.
    Direct download  
     
    Export citation  
     
    My bibliography   34 citations  
  4. Applied Nonstandard Analysis.Martin Davis - 1978 - Journal of Symbolic Logic 43 (2):383-384.
  5.  47
    Is Mathematical Insight Algorithmic?Martin Davis - 1990 - Behavioral and Brain Sciences 13 (4):659-660.
  6.  8
    The Universal Computer. The Road From Leibniz to Turing.Martin Davis - 2001 - Bulletin of Symbolic Logic 7 (1):65-66.
    Direct download  
     
    Export citation  
     
    My bibliography   6 citations  
  7.  48
    What Did Gödel Believe and When Did He Believe It?Martin Davis - 2005 - Bulletin of Symbolic Logic 11 (2):194-206.
  8. 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.
  9.  18
    A Computing Procedure for Quantification Theory.Martin Davis & Hilary Putnam - 1966 - Journal of Symbolic Logic 31 (1):125-126.
  10.  82
    Gödel Kurt. Über Die Vollständigkeit des Logikkalküls (1929). Collected Works, Volume I, Publications 1929–1936, 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, Even Pp. 60–100. Gödel Kurt. On the Completeness of the Calculus of Logic (1929). English Translation by Stefan Bauer-Mengelberg and Jean van Heijenoort of the Preceding. Collected ... [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):341-342.
  11. Why There is No Such Discipline as Hypercomputation.Martin Davis - 2006 - Applied Mathematics and Computation, Volume 178, Issue 1, 1.
     
    Export citation  
     
    My bibliography   2 citations  
  12.  27
    How Subtle is Gödel's Theorem? More on Roger Penrose.Martin Davis - 1993 - Behavioral and Brain Sciences 16 (3):611.
  13.  31
    Gödel Kurt. Über Die Vollständigkeit des Logikkalküls . Collected Works, Volume I, Publications 1929–1936, 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, Even Pp. 60– 100.Gödel Kurt. 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 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, Odd Pp. 61– 101.Gödel Kurt. 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 Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gr. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):341-342.
  14.  8
    A Machine Program for Theorem-Proving.Martin Davis, George Logemann & Donald Loveland - 1967 - Journal of Symbolic Logic 32 (1):118-118.
  15.  11
    The Decision Problem for Exponential Diophantine Equations.Martin Davis, Hilary Putnam & Julia Robinson - 1970 - Journal of Symbolic Logic 35 (1):151-152.
  16.  20
    Gödel Kurt. Über Die Länge von Beweisen . 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 . English Translation by Stefan Bauer-Mengelberg and Jean van Heijenoort of the Preceding. 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. 397, 399.Parikh Rohit. Introductory Note to 1936a. 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. 394– 397. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):348.
  17.  20
    Gödel Kurt. Zur Intuitionistischen Arithmetik Und Zahlentheorie . A Reprint of 41811. Collected Works, Volume I, Publications 1929– 1936, 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, Even Pp. 286– 294.Gödel Kurt. On Intuitionistic Arithmetic and Number Theory . 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 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, Odd Pp. 287– 295.Troelstra A. S.. Introductory Note to 1933e. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solo. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):346.
  18.  19
    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 (2 more)  
     
    Export citation  
     
    My bibliography  
  19.  8
    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  
     
    My bibliography   3 citations  
  20.  28
    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-348.
  21.  1
    A Note on Universal Turing Machines.M. D. Davis & Martin Davis - 1970 - Journal of Symbolic Logic 35 (4):590-590.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  22.  15
    Arithmetical Problems and Recursively Enumerable Predicates.Martin Davis - 1953 - Journal of Symbolic Logic 18 (1):33-41.
  23.  13
    Selected Papers of Abraham Robinson. Volume 2. Nonstandard Analysis and Philosophy. Edited and with an Introduction by Luxemburg W. A. J. And Körner S.. Yale University Press, New Haven and London 1979, Xlv + 582 Pp.Seligman George B.. Biography of Abraham Robinson, Pp. Xi–Xxx. A Reprint of XLVII 197.Luxemburg W. A. J.. Introduction to Papers on Nonstandard Analysis and Analysis, Pp. Xxxi–Xxxix.Körner S.. Introduction to Papers on Philosophy, Pp. Xli–Xlv.Robinson Abraham. Non-Standard Analysis, Pp. 3–11. A Reprint of XXXIV 292.Robinson Abraham. On Languages Which Are Based on Non-Standard Arithmetic, Pp. 12–46. A Reprint of XXXIV 516.Robinson Abraham. On Generalized Limits and Linear Functionals, Pp. 47–61. A Reprint of XXXIV 292.Robinson Abraham. On the Theory of Normal Families, Pp. 62–87. A Reprint of XXXVII 215.Bernstein Allen R. And Robinson Abraham. Solution of an Invariant Subspace Problem of K. T. Smith and P. R. Halmos, Pp. 88–98. A Reprint of XXXIV 292.Robinson Abraham. Topic. [REVIEW]Martin Davis - 1982 - Journal of Symbolic Logic 47 (1):203-210.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24.  26
    Gödel Kurt. Eine Interpretation des Intuitionistischen Aussagenkalküls (1933f). A Reprint of 41812. Collected Works, Volume I, Publications 1929–1936, 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. 300, 302. Gödel Kurt. An Interpretation of the Intuitionistic Propositional Calculus (1933f). English Translation by John Dawson of the ... [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):346-346.
  25.  25
    Minsky ML. 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 - 1997 - Journal of Symbolic Logic 31 (4):655-655.
  26.  17
    Origins of Recursive Function Theory.Stephen C. Kleene & Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):348-350.
    Direct download  
     
    Export citation  
     
    My bibliography  
  27.  12
    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.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  28. Solvability, Provability, Definability the Collected Works of Emil L. Post.Emil Leon Post & Martin Davis - 1994
    No categories
     
    Export citation  
     
    My bibliography   1 citation  
  29.  21
    Gödel Kurt. Zur Intuitionistischen Arithmetik Und Zahlentheorie (1933e). A Reprint of 41811. Collected Works, Volume I, Publications 1929–1936, 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, Even Pp. 286–294. Gödel Kurt. On Intuitionistic Arithmetic and Number Theory (1933e). English Translation by Stefan Bauer-Mengelberg and Jean van ... [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):346-346.
  30.  20
    Böhm Corrado. On a Family of Turing Machines and the Related Programming Language. ICC Bulletin, Vol. 3 (1964), Pp. 185–194. [REVIEW]Martin Davis - 1996 - Journal of Symbolic Logic 31 (1):140-140.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  31.  12
    American Logic in the 1920s.Martin Davis - 1995 - Bulletin of Symbolic Logic 1 (3):273-278.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  32.  9
    Feys Robert. Expression de la vérifiabilité expérimentale dans le raisonnement formalisé. 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. 109–114.Destouches J.-L., Porte J., Beth E. W., Tarski A., Bernays 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. 114–115. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):288.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  33.  9
    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.
  34.  9
    Singletary Wilson E.. 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.
  35.  8
    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.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  36.  8
    Gödel Kurt. Review of Hilbert's Die Grundlegung der Elementaren Zahlentheorie . Collected Works, Volume I, Publications 1929–1936, 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. 212, 214. , P. 260.)Gödel Kurt. English Translation by John Dawson of This Review. Collected Works, Volume I, Publications 1929–1936, 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. 213, 215.Feferman Solomon. Introductory Note to 1931C. Collected Works, Volume I, Publications 1929–1936, 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 An. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):344.
  37.  10
    Review: Roland Fraisse, Sur une Extension de la Polyrelation et des Parentes Tirant son Origine du Calcul Logique de keme Echelon; Rene de Possel, Roland Fraisse, Hypotheses de la Theorie des Relations qui Permettent d'Associer, a un bon ordre d'un ensemble, un bon ordre, defini sans ambiguite, de l'ensemble de ses parties; A. Tarski, A. Mostowski, Interventions. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):285-286.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  38.  7
    Beth E. W.. Observations Concerning Computing, Deduction, and Heuristics. 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. 21–32. [REVIEW]Martin Davis - 1968 - Journal of Symbolic Logic 33 (1):118.
  39.  7
    Gödel Kurt. Ein Spezialfall des Entscheidungsproblems der Theoretischen Logik . A Reprint of 4187. Collected Works, Volume I, Publications 1929–1936, 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, Even Pp. 230–234.Gödel Kurt. 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 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, Odd Pp. 231– 235.Gödel Kurt. Zum Entscheidungsproblem des Logischen Funktionenkalüls . A Reprint of 41813. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene St. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):344-345.
  40.  7
    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 (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  41.  7
    Swanson J. W.. A Variant of Turing Machines Requiring Print Instructions Only. Logique Et Analyse, N.S. Vol. 10 , Pp. 200–206. [REVIEW]Martin Davis - 1969 - Journal of Symbolic Logic 34 (1):134-135.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42. Review: Corrado Bohm, On a Family of Turing Machines and the Related Programming Language. [REVIEW]Martin Davis - 1966 - Journal of Symbolic Logic 31 (1):140-140.
     
    Export citation  
     
    My bibliography  
  43.  12
    Minsky Marvin L.. Recursive Unsolvability of Post's Problem of “Tag” and Other Topics in the Theory of Turing Machines. Annals of Mathematics, Second Series, Vol. 74 (1961), Pp. 437–455. [REVIEW]Martin Davis - 1997 - Journal of Symbolic Logic 31 (4):654-655.
  44.  3
    Review: Edward Nelson, Internal Set Theory: A New Approach to Nonstandard Analysis. [REVIEW]Martin Davis - 1983 - Journal of Symbolic Logic 48 (4):1203-1204.
  45.  6
    Bernays Paul. Remarques sur le problème de la décision en logique élémentaire. 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. 39–43.Porte J.. 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. 44. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):285.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  46.  6
    Kreisel Georg, Lacombe Daniel, and Shoenfield Joseph R.. Fonctionnelles récursivement définissables et fonctionnelles récursives. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 245 , pp. 399–402. [REVIEW]Martin Davis - 1958 - Journal of Symbolic Logic 23 (1):48.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  47.  8
    Review: J. W. Swanson, A Variant of Turing Machines Requiring Print Instructions Only. [REVIEW]Martin Davis - 1969 - Journal of Symbolic Logic 34 (1):134-135.
    Direct download  
     
    Export citation  
     
    My bibliography  
  48.  21
    Reductions of Hilbert's Tenth Problem.Martin Davis & Hilary Putnam - 1958 - Journal of Symbolic Logic 23 (2):183-187.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  49.  7
    Review: Marvin L. Minsky, Recursive Unsolvability of Post's Problem of "Tag" and Other Topics in the Theory of Turing Machines. [REVIEW]Martin Davis - 1966 - Journal of Symbolic Logic 31 (4):654-655.
  50.  7
    Review: M. L. Minsky, Size and Structure of Universal Turing Machines Using Tag Systems. [REVIEW]Martin Davis - 1966 - Journal of Symbolic Logic 31 (4):655-655.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 170