Martin Stone Davis University of Arizona
Contact
  • No contact info.

Affiliations
  • Graduate student, University of Arizona

Areas of specialization
  • None specified

Areas of interest

blank
About me
Not much to say..
My works
183 items found.
Order:
  1. Martin Davis (2010). PHILOSOPHY OF MATHEMATICS. What Did Gödel Believe and When Did He Believe It? In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic
     
    Export citation  
     
    My bibliography  
  2. M. Burgin & Martin Davis (2007). REVIEWS-Super-Recursive Algorithms. Bulletin of Symbolic Logic 13 (2).
     
    Export citation  
     
    My bibliography  
  3.  1
    Martin Davis (2007). Super-Recursive Algorithms. [REVIEW] Bulletin of Symbolic Logic 13 (2):240-240.
    Direct download  
     
    Export citation  
     
    My bibliography  
  4. Martin Davis (2006). Why There is No Such Discipline as Hypercomputation. Applied Mathematics and Computation, Volume 178, Issue 1, 1.
     
    Export citation  
     
    My bibliography   2 citations  
  5.  48
    Martin Davis (2005). What Did Gödel Believe and When Did He Believe It? Bulletin of Symbolic Logic 11 (2):194-206.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  6. M. Davis (2004). New Longitudinal Study Shows Core Knowledge Boosting Scores, Closing Achievement Gap. Common Knowledge 17 (1):1-3.
     
    Export citation  
     
    My bibliography  
  7.  3
    C. Center, M. Davis & T. Detre (2003). Ethics Journal of the American Medical Association September 2003, Volume 5, Number 9 Journal Discussion 2. Ethics 5 (9):2.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  8. M. Davis & John W. Dawson (2002). REVIEWS-Engines of Logic. Bulletin of Symbolic Logic 8 (1):104.
     
    Export citation  
     
    My bibliography  
  9. M. Davis & John W. Dawson (2001). REVIEWS-The Universal Computer. Bulletin of Symbolic Logic 7 (1):65-65.
     
    Export citation  
     
    My bibliography  
  10.  1
    Martin Davis (2001). The Universal Computer. The Road From Leibniz to Turing. Bulletin of Symbolic Logic 7 (1):65-66.
    Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  11.  22
    Donald Gotterbarn, K. Miller, S. Rogerson, S. Barber, P. Barnes, I. Burnstein, M. Davis, A. El-Kadi, N. B. Fairweather & M. Fulghum (2001). Software Engineering Code of Ethics and Professional Practice. Science and Engineering Ethics 7 (2):231-238.
    Direct download  
     
    Export citation  
     
    My bibliography  
  12. Martin Davis (1999). Astrolocality Astrology a Guide to What It is and How to Use It.
    No categories
     
    Export citation  
     
    My bibliography  
  13. M. Davis (1998). Review of Dawson [1997]. [REVIEW] Philosophia Mathematica 3 (6).
     
    Export citation  
     
    My bibliography  
  14.  6
    K. A. McNish, J. C. Gewirtz & M. Davis (1998). Have We Taken the Hippocampus Out of Context?—Reply. Trends in Cognitive Sciences 2 (2):42-43.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15.  1
    Martin Davis (1997). 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] Journal of Symbolic Logic 31 (4):654-655.
    Direct download  
     
    Export citation  
     
    My bibliography  
  16.  17
    Martin Davis (1997). 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] Journal of Symbolic Logic 31 (4):655-655.
    Direct download  
     
    Export citation  
     
    My bibliography  
  17.  4
    Martin Davis (1996). Böhm Corrado. On a Family of Turing Machines and the Related Programming Language. ICC Bulletin, Vol. 3 (1964), Pp. 185–194. [REVIEW] Journal of Symbolic Logic 31 (1):140-140.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  18.  1
    M. Davis (1995). Science: After Such Knowledge, What Responsibility. Professional Ethics 4 (1):49-74.
    Direct download  
     
    Export citation  
     
    My bibliography  
  19.  11
    Martin Davis (1995). American Logic in the 1920s. Bulletin of Symbolic Logic 1 (3):273-278.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  20.  7
    Martin Davis (1995). It is Difficult to Admit That the Word If Acquires, When Written⊃, a Virtue It Did Not Possess When Written If. Principia Provided No Very Convincing Answer to Poincaré. Indeed the Fact That the Authors of Principia Saw Fit to Place Their First Two “Primitive Propo-Sitions”. [REVIEW] Bulletin of Symbolic Logic 1 (3).
    Direct download  
     
    Export citation  
     
    My bibliography  
  21. J. Czelakowski, M. L. Dalla Chiara, M. Davis, M. G. de Bruijn, G. P. Dirichlet, A. C. Doyle, G. Dorn, F. R. Drake & W. Drabent (1994). Index of Names. In Jan Wolenski (ed.), Philosophical Logic in Poland. Kluwer 363.
    No categories
     
    Export citation  
     
    My bibliography  
  22. Emil Leon Post & Martin Davis (1994). Solvability, Provability, Definability the Collected Works of Emil L. Post. Monograph Collection (Matt - Pseudo).
    No categories
     
    Export citation  
     
    My bibliography   1 citation  
  23.  13
    Martin Davis (1993). How Subtle is Gödel's Theorem? More on Roger Penrose. Behavioral and Brain Sciences 16 (3):611.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  24. Martin Davis (1993). Mechanical Intelligence, Collected Works of A. M. Turing, Edited by Ince D. C., North-Holland, Amsterdam Etc. 1992, Xix + 227 Pp. [REVIEW] Journal of Symbolic Logic 58 (4):1463-1465.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25.  1
    Martin Davis (1993). Review: D. C. Ince, Mechanical Intelligence, Collected Works of A. M. Turing. [REVIEW] Journal of Symbolic Logic 58 (4):1463-1465.
    Direct download  
     
    Export citation  
     
    My bibliography  
  26. M. Davis (1992). Analysis of Aversive Memories Using the Fear-Potentiated Startle Paradigm. In Neuropsychology of Memory. 470--484.
     
    Export citation  
     
    My bibliography   1 citation  
  27. M. Davis (1992). Neuropsychology of Memory.
     
    Export citation  
     
    My bibliography  
  28. John N. Crossley, Andrew Hodges, Rolf Herken, Stephen C. Kleene, Robin Gandy, Solomon Feferman, Martin Davis & Esther R. Phillips (1991). Alan Turing and the Turing Machine.Turing's Analysis of Computability, and Major Applications of It.The Confluence of Ideas in 1936.Turing in the Land of O.Mathematical Logic and the Origin of Modern Computers. [REVIEW] Journal of Symbolic Logic 56 (3):1089.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29. Martin Davis (1990). Dawson John W. Jr. A Gödel Chronology. 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. 37– 43. [REVIEW] Journal of Symbolic Logic 55 (1):341.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30. Martin Davis (1990). Feferman Solomon. Gödel's Life and Work. 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. 1–36. [REVIEW] Journal of Symbolic Logic 55 (1):340-341.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  5
    Martin Davis (1990). 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] Journal of Symbolic Logic 55 (1):348-348.
    Direct download  
     
    Export citation  
     
    My bibliography  
  32.  23
    Martin Davis (1990). 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] Journal of Symbolic Logic 55 (1):341-342.
    Direct download  
     
    Export citation  
     
    My bibliography  
  33.  1
    Martin Davis (1990). 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] Journal of Symbolic Logic 55 (1):348.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34. Martin Davis (1990). Gödel Kurt. Über Unabhängigkeitsbeweise Im Aussagenkalküls . A Reprint of 41810. 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. 268, 270.Gödel Kurt. 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 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. 269, 271.Quine W. V.. Introductory Note to 1933a. 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, Clarendo. [REVIEW] Journal of Symbolic Logic 55 (1):345-346.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35. Martin Davis (1990). 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] Journal of Symbolic Logic 55 (1):341-342.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36.  3
    Martin Davis (1990). Gödel Kurt. Diskussion Zur Grundlegung der Mathematik (1931a). A Reprint of 4184. 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. 200, 202. Gödel Kurt. Discussion on Providing a Foundation for Mathematics (1931a). English Translation by John Dawson of the Preceding. Collected Works ... [REVIEW] Journal of Symbolic Logic 55 (1):343-343.
    Direct download  
     
    Export citation  
     
    My bibliography  
  37. Martin Davis (1990). Gödel Kurt. Diskussion Zur Grundlegung der Mathematik . A Reprint of 4184. 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. 200, 202.Gödel Kurt. 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 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. 201, 203. , Pp. 125-126.)Gödel Kurt. Nachtrag. A Reprint of 4185. 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. [REVIEW] Journal of Symbolic Logic 55 (1):343.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. Martin Davis (1990). Gödel Kurt. Einige Metamathematische Resultate Über Entscheidunasdefinitheit Und Widerspruchsfreiheit (1930b). A Reprint of 4181. 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. 140, 142. Gödel Kurt. Some Metamathematical Results on Completeness and Consistency (1930b). A Reprint of ... [REVIEW] Journal of Symbolic Logic 55 (1):342-343.
    Direct download  
     
    Export citation  
     
    My bibliography  
  39.  11
    Martin Davis (1990). 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] Journal of Symbolic Logic 55 (1):346-346.
    Direct download  
     
    Export citation  
     
    My bibliography  
  40.  2
    Martin Davis (1990). Gödel Kurt. Ein Spezialfall des Entscheidungsproblems der Theoretischen Logik (1932a). 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 (1932a). English Translation by John Dawson of ... [REVIEW] Journal of Symbolic Logic 55 (1):344-345.
    Direct download  
     
    Export citation  
     
    My bibliography  
  41. Martin Davis (1990). Gödel Kurt. Eine Eigenschaft der Realisierungen des Aussagenkalküls . A Reprint of 4189. 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. 238, 240.Gödel Kurt. A Property of the Realizations of the Propositional Calculus . 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, Pp. 239, 241.Quine W. V.. Introductory Note to 1932c. 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 Heijenoor. [REVIEW] Journal of Symbolic Logic 55 (1):345.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42. Martin Davis (1990). Gödel Kurt. Eine Interpretation des Intuitionistischen Aussagenkalküls . 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 . 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, Pp. 301, 303.Troelstra A. S.. Introductory Note to 1933f. 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. [REVIEW] Journal of Symbolic Logic 55 (1):346.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43. Martin Davis (1990). Gödel Kurt. Einige Metamathematische Resultate Über Entscheidunasdefinitheit Und Widerspruchsfreiheit . A Reprint of 4181. 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. 140, 142.Gödel Kurt. 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 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. 141, 143.Gödel Kurt. Ü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 Feferman Solomon, Dawson J. [REVIEW] Journal of Symbolic Logic 55 (1):342-343.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44. Martin Davis (1990). 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] Journal of Symbolic Logic 55 (1):344-345.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45.  4
    Martin Davis (1990). Gödel Kurt. On Undecidable Propositions of Formal Mathematical Systems (1934). A Reprint of XXXI 484. 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. 346–369. Gödel Kurt. Postscriptum. A Reprint of XXXI 484. Reelle Funktionen, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory ... [REVIEW] Journal of Symbolic Logic 55 (1):347-347.
    Direct download  
     
    Export citation  
     
    My bibliography  
  46. Martin Davis (1990). Gödel Kurt. On Undecidable Propositions of Formal Mathematical Systems . A Reprint of XXXI 484. 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. 346– 369.Gödel Kurt. Postscriptum. A Reprint of XXXI 484. 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. 369– 371.Kleene Stephen C.. Introductory Note to 1934. 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. 338– 345. [REVIEW] Journal of Symbolic Logic 55 (1):347.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47.  3
    Martin Davis (1990). Gödel Kurt. Review of Church's A Set of Postulates for the Foundation of Logic (3594). 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. 256, 258.(Reprinted From Zentralblatt Für Mathematik Und Ihre Grenzgebiete, Vol. 4 (1932), Pp. 145–146.) Gödel Kurt. English Translation by John Dawson of ... [REVIEW] Journal of Symbolic Logic 55 (1):345-345.
    Direct download  
     
    Export citation  
     
    My bibliography  
  48.  3
    Martin Davis (1990). Gödel Kurt. Review of Skolem's Über Die Unmöglichkeit Einer Vollständigen Charakterisierung der Zahlenreihe Mittels Eines Endlichen Axiomensystems (24716). 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. 378, 380.(Reprinted From Zentralblatt Für Mathematik Undihre Grenzgebiete, Vol. 7 (1934), Pp. 193–194.) Gödel Kurt ... [REVIEW] Journal of Symbolic Logic 55 (1):347-348.
    Direct download  
     
    Export citation  
     
    My bibliography  
  49. Martin Davis (1990). Gödel Kurt. Review of Hahn's 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, Even Pp. 332– 336. , Literaturberichte, Pp. 20– 22.)Gödel Kurt. English Translation by John Dawson of This Review. 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 Odd Pp. 333– 337. [REVIEW] Journal of Symbolic Logic 55 (1):346-347.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50. Martin Davis (1990). Gödel Kurt. 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 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. 256, 258. , Pp. 145–146.)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. 257, 259.Gödel Kurt. 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 Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Pr. [REVIEW] Journal of Symbolic Logic 55 (1):345.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  51. Martin Davis (1990). 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] Journal of Symbolic Logic 55 (1):344.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  52.  6
    Martin Davis (1990). 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] Journal of Symbolic Logic 55 (1):346-346.
    Direct download  
     
    Export citation  
     
    My bibliography  
  53. Martin Davis (1990). 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] Journal of Symbolic Logic 55 (1):346.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  54. Martin Davis (1990). Gödel Kurt. Zum Intuitionistische Aussagenkalkül . A Reprint of 4186. 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. 222, 224.Gödel Kurt. On 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 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. 223, 225.Troelstra A. S.. Introductory Note to 1932. 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. [REVIEW] Journal of Symbolic Logic 55 (1):344.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  55.  24
    Martin Davis (1990). Is Mathematical Insight Algorithmic? Behavioral and Brain Sciences 13 (4):659-660.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  56.  1
    Martin Davis (1990). [Omnibus Review]. Journal of Symbolic Logic 55 (1):342-343.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  57.  2
    Martin Davis (1990). Review: John W. Dawson, A Godel Chronology. [REVIEW] Journal of Symbolic Logic 55 (1):341-341.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  58. Martin Davis (1990). Review: Kurt Godel, On Undecidable Propositions of Formal Mathematical Systems (1934); Kurt Godel, Postscriptum; Stephen C. Kleene, Introductory Note to 1934. [REVIEW] Journal of Symbolic Logic 55 (1):347-347.
     
    Export citation  
     
    My bibliography  
  59. Martin Davis (1990). Review: Kurt Godel, John Dawson, A Property of the Realizations of the Propositional Calculus (1932c); W. V. Quine, Introductory Note to 1932c. [REVIEW] Journal of Symbolic Logic 55 (1):345-345.
     
    Export citation  
     
    My bibliography  
  60. Martin Davis (1990). Review: Kurt Godel, John Dawson, On the Intuitionistic Propositional Calculus (1932); A. S. Troelstra, Introductory Note to 1932. [REVIEW] Journal of Symbolic Logic 55 (1):344-344.
     
    Export citation  
     
    My bibliography  
  61. Martin Davis (1990). Review: Kurt Godel, John Dawson, Review of Hahn's Reele Funktionen. [REVIEW] Journal of Symbolic Logic 55 (1):346-347.
     
    Export citation  
     
    My bibliography  
  62. Martin Davis (1990). Review: Kurt Godel, Uber Die Lange Yon Beweisen (1936a); Kurt Godel, Stefan Bauer-Mengelberg, Jean van Heijenoort, On the Length of Proofs (1936a); Rohit Parikh, Introductory Note to 1936a. [REVIEW] Journal of Symbolic Logic 55 (1):348-348.
     
    Export citation  
     
    My bibliography  
  63. Martin Davis (1990). Review: Kurt Godel, John Dawson, Review of Skolem's Uber die Unmoglichkeit Einer Vollstandigen Charakterisierung der Zahlenreihe Mittels Eines Endlichen Axiomensystems (24716); Kurt Godel, John Dawson, Review of Skolem's Uber die Nicht-Charakterisierbarkeit der Zahlenreihe Mittels endlich oder Abzahlbar Unendlich Vieler Aussagen mit Ausschlieblich Zahlenvariablen; Robert Vaught, Introductory Note to 1934c and 1935. [REVIEW] Journal of Symbolic Logic 55 (1):347-348.
    Translate
     
     
    Export citation  
     
    My bibliography  
  64. Martin Davis (1990). Review: Kurt Godel, On Independence Proofs in the Propositional Calculus (1933a); W. V. Quine, Introductory Note to 1933a. [REVIEW] Journal of Symbolic Logic 55 (1):345-346.
     
    Export citation  
     
    My bibliography  
  65. Martin Davis (1990). Review: Kurt Godel, Stefan Bauer-Mengelberg, Jean van Heijenoort, On Intuitionistic Arithmetic and Number Theory (1933e); A. S. Troelstra, Introductory Note to 1933e. [REVIEW] Journal of Symbolic Logic 55 (1):346-346.
     
    Export citation  
     
    My bibliography  
  66. Martin Davis (1990). Review: Kurt Godel, John Dawson, Review of Hilbert's Die Grundlegung der Elementaren Zahlentheorie (10818); Solomon Feferman, Introductory Note to 1931c. [REVIEW] Journal of Symbolic Logic 55 (1):344-344.
     
    Export citation  
     
    My bibliography  
  67. Martin Davis (1990). Review: Kurt Godel, John Dawson, An Interpretation of the Intuitionistic Propositional Calculus (1933f); A. S. Troelstra, Introductory Note to 1933f. [REVIEW] Journal of Symbolic Logic 55 (1):346-346.
     
    Export citation  
     
    My bibliography  
  68. Martin Davis (1990). Review: Solomon Feferman, Godel's Life and Work. [REVIEW] Journal of Symbolic Logic 55 (1):340-341.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  69.  10
    Martin Davis (1990). Book Review: Melvin Fitting. Computability Theory, Semantics, and Logic Programming. [REVIEW] Notre Dame Journal of Formal Logic 31 (3):485-486.
  70. Martin Davis, Kurt Godel & Stephen C. Kleene (1990). On Undecidable Propositions of Formal Mathematical Systems .PostscriptumIntroductory Note to 1934. Journal of Symbolic Logic 55 (1):347.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  71.  8
    Stephen C. Kleene & Martin Davis (1990). Origins of Recursive Function Theory. Journal of Symbolic Logic 55 (1):348-350.
    Direct download  
     
    Export citation  
     
    My bibliography  
  72. Martin Davis & Rohit Parikh (1988). Meeting of the Association for Symbolic Logic, New York City, May 1987. Journal of Symbolic Logic 53 (4):1270-1274.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  73.  5
    Martin Davis & Rohit Parikh (1988). Meeting of the Association for Symbolic Logic: New York City, May 1987. Journal of Symbolic Logic 53 (4):1270-1274.
  74. M. Davis (1987). Kinephobia. Semiotica 66 (4):431-439.
    Translate
     
     
    Export citation  
     
    My bibliography  
  75. H. B. Enderton & Martin Davis (1987). Computability & Unsolvability.Hilbert's Tenth Problem is Unsolvable. Journal of Symbolic Logic 52 (1):294.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  76. Martin Davis (1986). Dyson Verena H., Jones James P., and Shepherdson John C.. Some Diophantine Forms of Gödel's Theorem. Archiv Für Mathematische Logik Und Grundlagenforschung, Vol. 22 , Pp. 51–60.Jones James P.. Universal Diophantine Equation. [REVIEW] Journal of Symbolic Logic 51 (2):477-479.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  77. Martin Davis, James P. Jones, Verena H. Dyson, John C. Shepherdson, J. P. Jones, Ju V. Matijasevic, J. Stern & Y. V. Matijasevic (1986). Classification of Quantifier Prefixes Over Diophantine Equations.Some Diophantine Forms of Godel's Theorem.Universal Diophantine Equation.Exponential Diophantine Representation of Recursively Enumerable Sets.Register Machine Proof of the Theorem on Exponential Diophantine Representation of Enumerable Sets. [REVIEW] Journal of Symbolic Logic 51 (2):477.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  78. Martin Davis, Edgar E. K. Lopez-Escobar & Wilfred Sieg (1986). Meeting of the Association for Symbolic Logic: Washington, D. C., 1985. Journal of Symbolic Logic 51 (4):1085-1092.
  79. A. Woodcock, M. Davis & Bernard Plancherel (1985). La Théorie des catastrophes. Revue de Métaphysique et de Morale 90 (2):282-284.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  80.  5
    Martin Davis (1983). Church's Thesis and Representation of Grammars. Behavioral and Brain Sciences 6 (3):404.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  81. Martin Davis (1983). Nelson Edward. Internal Set Theory: A New Approach to Nonstandard Analysis. Bulletin of the American Mathematical Society, Vol. 83 , Pp. 1165–1198. [REVIEW] Journal of Symbolic Logic 48 (4):1203-1204.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  82.  2
    Martin Davis (1983). Review: Edward Nelson, Internal Set Theory: A New Approach to Nonstandard Analysis. [REVIEW] Journal of Symbolic Logic 48 (4):1203-1204.
  83. Martin Davis (1982). Review: W. A. J. Luxemburg, A. Robinson, Selected Papers of Abraham Robinson: Nonstandard Analysis and Philosophy. [REVIEW] Journal of Symbolic Logic 47 (1):203-210.
     
    Export citation  
     
    My bibliography  
  84.  1
    Martin Davis (1982). 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] Journal of Symbolic Logic 47 (1):203-210.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  85.  5
    David Hilbert, Mary Winston Newsom, Felix E. Browder, Donald A. Martin, G. Kreisel & Martin Davis (1979). Mathematical Problems. Lecture Delivered Before the International Congress of Mathematicians at Paris in 1900. Journal of Symbolic Logic 44 (1):116-119.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  86. Martin Davis (1978). Applied Nonstandard Analysis. Journal of Symbolic Logic 43 (2):383-384.
    Direct download  
     
    Export citation  
     
    My bibliography   14 citations  
  87. Martin Davis (1974). Matiásévič Ú. V.. 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.Matijasevič Ju. V.. 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] Journal of Symbolic Logic 39 (3):605.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  88.  1
    Martin Davis (1974). Review: Ju. V. Matijasevic, F. M. Goldware, Diophantine Representation of Enumerable Predicates. [REVIEW] Journal of Symbolic Logic 39 (3):605-605.
  89. Martin Davis (1973). Myhill John. Finitely Representable Functions. Constructivity in Mathematics, Proceedings of the Colloquium Held at Amsterdam, 1957, Edited by Heyting A., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959, Pp. 195–207. [REVIEW] Journal of Symbolic Logic 38 (1):157-158.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  90.  1
    Martin Davis (1973). Review: John Myhill, Finitely Representable Functions. [REVIEW] Journal of Symbolic Logic 38 (1):157-158.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  91.  3
    Irmgard Bartenieff, M. Davis, F. Paulay, Alan Bowness & Abram Chasins (1972). Four Adaptations of Effort Theory in Research and Teaching. Journal of Aesthetics and Art Criticism 31 (2):275-276.
    Direct download  
     
    Export citation  
     
    My bibliography  
  92. M. D. Davis & Martin Davis (1970). A Note on Universal Turing Machines. Journal of Symbolic Logic 35 (4):590-590.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  93. Martin Davis (1970). Review: Julia Robinson, Recursive Functions of One Variable. [REVIEW] Journal of Symbolic Logic 35 (3):476-476.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  94. Martin Davis (1970). Robinson Julia. Recursive Functions of One Variable. Proceedings of the American Mathematical Society, Vol. 19 , Pp. 815–820. [REVIEW] Journal of Symbolic Logic 35 (3):476.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  95.  3
    Martin Davis, Hilary Putnam & Julia Robinson (1970). The Decision Problem for Exponential Diophantine Equations. Journal of Symbolic Logic 35 (1):151-152.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  96. A. H. Lightstone & Martin Davis (1970). Lecture Notes on Mathematical Logic. Journal of Symbolic Logic 35 (1):167.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  97. Martin Davis (1969). Review: J. W. Swanson, A Variant of Turing Machines Requiring Print Instructions Only. [REVIEW] Journal of Symbolic Logic 34 (1):134-135.
    Direct download  
     
    Export citation  
     
    My bibliography  
  98. Martin Davis (1969). Swanson J. W.. A Variant of Turing Machines Requiring Print Instructions Only. Logique Et Analyse, N.S. Vol. 10 , Pp. 200–206. [REVIEW] Journal of Symbolic Logic 34 (1):134-135.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  99. Martin Davis (1968). 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] Journal of Symbolic Logic 33 (1):118.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  100. Martin Davis (1968). McCarthy John. A Basis for a Mathematical Theory of Computation, Preliminary Report. Proceedings of the Western Joint Computer Conference, Papers Presented at the Joint IRE-AIEE-ACM Computer Conference, Los Angeles, Calif., May 9–11, 1961, Western Joint Computer Conference, 1961, Pp. 225–238.McCarthy John. A Basis for a Mathematical Theory of Computation. 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. 33–70. [REVIEW] Journal of Symbolic Logic 33 (1):117.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  101. Martin Davis (1968). McCarthy John. Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I. Communications of the Association for Computing Machinery, Vol. 3 , Pp. 184–195. [REVIEW] Journal of Symbolic Logic 33 (1):117.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  102. Martin Davis (1968). 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] Journal of Symbolic Logic 33 (1):118.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  103. Martin Davis (1968). Review: A. Robinson, A Basis for the Mechanization of the Theory of Equations; A. Robinson, On the Mechanization of the Theory of Equations. [REVIEW] Journal of Symbolic Logic 33 (1):118-118.
     
    Export citation  
     
    My bibliography  
  104. Martin Davis (1968). Review: E. W. Beth, Observations Concerning Computing, Deduction, and Heuristics. [REVIEW] Journal of Symbolic Logic 33 (1):118-118.
     
    Export citation  
     
    My bibliography  
  105. Martin Davis (1968). Review: John McCarthy, Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I. [REVIEW] Journal of Symbolic Logic 33 (1):117-117.
     
    Export citation  
     
    My bibliography  
  106. Martin Davis (1968). Review: John McCarthy, A Basis for a Mathematical Theory of Computation, Preliminary Report; John McCarthy, P. Braffort, D. Hirschberg, A Basis for a Mathematical Theory of Computation. [REVIEW] Journal of Symbolic Logic 33 (1):117-117.
     
    Export citation  
     
    My bibliography  
  107. Martin Davis (1968). Unsolvable Problems: A Review. Journal of Symbolic Logic 33 (2):297-298.
    Direct download  
     
    Export citation  
     
    My bibliography  
  108. Martin Davis (1967). Eliminating the Irrelevant From Mechanical Proofs. Journal of Symbolic Logic 32 (1):118-119.
    Direct download  
     
    Export citation  
     
    My bibliography  
  109.  1
    Martin Davis, George Logemann & Donald Loveland (1967). A Machine Program for Theorem-Proving. Journal of Symbolic Logic 32 (1):118-118.
    Direct download  
     
    Export citation  
     
    My bibliography   6 citations  
  110.  6
    Martin Davis (1966). Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 31 (4):697-706.
  111. Martin Davis (1966). Review: Corrado Bohm, On a Family of Turing Machines and the Related Programming Language. [REVIEW] Journal of Symbolic Logic 31 (1):140-140.
     
    Export citation  
     
    My bibliography  
  112. Martin Davis (1966). Review: Marvin L. Minsky, Recursive Unsolvability of Post's Problem of "Tag" and Other Topics in the Theory of Turing Machines. [REVIEW] Journal of Symbolic Logic 31 (4):654-655.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  113. Martin Davis (1966). Review: M. L. Minsky, Size and Structure of Universal Turing Machines Using Tag Systems. [REVIEW] Journal of Symbolic Logic 31 (4):655-655.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  114. Martin Davis (1966). Review: Wilson E. Singletary, A Complex of Problems Proposed by Post. [REVIEW] Journal of Symbolic Logic 31 (2):273-274.
     
    Export citation  
     
    My bibliography  
  115. Martin Davis (1966). 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] Journal of Symbolic Logic 31 (2):273-274.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  116. Martin Davis (1966). The Undecidable Basic Papers on Undecidable Basic Propositions, Unsolvable Propositions and Unsolvable Problems and Computable Funtions. Journal of Symbolic Logic 31 (3):484-494.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  117.  6
    Martin Davis & Hilary Putnam (1966). A Computing Procedure for Quantification Theory. Journal of Symbolic Logic 31 (1):125-126.
    Direct download  
     
    Export citation  
     
    My bibliography   9 citations  
  118.  80
    Martin Davis (ed.) (1965). The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions. 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  
  119. Martin Davis (1964). Montague Richard. Towards a General Theory of Computability. Synthese, Vol. 12 No. 4 , Pp. 429–438. Journal of Symbolic Logic 29 (1):63-64.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  120. Martin Davis (1964). Rogers Hartley Jr., Gödel Numberings of Partial Recursive Functions. Journal of Symbolic Logic 29 (3):146.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  121. Martin Davis (1964). Review: Hartley Rogers, Godel Numberings of Partial Recursive Functions. [REVIEW] Journal of Symbolic Logic 29 (3):146-146.
     
    Export citation  
     
    My bibliography  
  122. Martin Davis (1964). Review: Julia Robinson, The Undecidability of Algebraic Rings and Fields. [REVIEW] Journal of Symbolic Logic 29 (1):57-58.
     
    Export citation  
     
    My bibliography  
  123. Martin Davis (1964). Robinson Julia. The Undecidability of Algebraic Rings and Fields. Proceedings of the American Mathematical Society, Vol. 10 , Pp. 950–957. [REVIEW] Journal of Symbolic Logic 29 (1):57-58.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  124. Martin Davis (1964). Review: Richard Montague, Towards a General Theory of Computability. [REVIEW] Journal of Symbolic Logic 29 (1):63-64.
     
    Export citation  
     
    My bibliography  
  125. Martin Davis (1962). Dekker J. C. E. And Myhill J.. Some Theorems on Classes of Recursively Enumerable Sets. Transactions of the American Mathematical Society, Vol. 89 , Pp. 25–59. [REVIEW] Journal of Symbolic Logic 27 (1):84.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  126. Martin Davis (1962). Review: J. C. E. Dekker, J. Myhill, Some Theorems on Classes of Recursively Enumerable Sets. [REVIEW] Journal of Symbolic Logic 27 (1):84-84.
  127. Martin Davis (1960). 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] Journal of Symbolic Logic 25 (3):287.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  128. Martin Davis (1960). 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] Journal of Symbolic Logic 25 (3):285.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  129. Martin Davis (1960). Ch'telet Albert. 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, Paris 1958, pp. 11–12.Skolem Th.. 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, Paris 1958, pp. 13–17.Tarski A., Krasner M., Mostowski A., de Possel R.. 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. 17–18. [REVIEW] Journal of Symbolic Logic 25 (3):284-285.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  130. Martin Davis (1960). 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] Journal of Symbolic Logic 25 (3):288.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  131. Martin Davis (1960). 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] Journal of Symbolic Logic 25 (3):288.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  132. Martin Davis (1960). 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] Journal of Symbolic Logic 25 (3):285-286.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  133. Martin Davis (1960). Gonseth F.. Sur la méthodologie des recherches sur les fondements des mathématiques. 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. 97–107. [REVIEW] Journal of Symbolic Logic 25 (3):287-288.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  134. Martin Davis (1960). 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] Journal of Symbolic Logic 25 (3):286-287.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  135. Martin Davis (1960). Martin Roger. Sur les notions intuitives mises en oeuvre par la constitution et l'étude d'un système formel. 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. 91–94.Feys R., Porte J.. 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. 95–96. [REVIEW] Journal of Symbolic Logic 25 (3):287.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  136. Martin Davis (1960). 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] Journal of Symbolic Logic 25 (3):288.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  137. Martin Davis (1960). Review: Albert Chatelet, Allocution Prononcee Par M. A. Chatelet; Th. Skolem, Une Relativisation des Notions Mathematiques Fondamentales; A. Tarski, M. Krasner, A. Mostowski, R. De Possel, Interventions. [REVIEW] Journal of Symbolic Logic 25 (3):284-285.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  138.  1
    Martin Davis (1960). Review: Daniel Lacombe, Sur les Possibilites d'Extension de la Notion de Fonction Recursive aux Fonctions d'une au Plusiers Variables Reelles; G. Bouligand, Intervention. [REVIEW] Journal of Symbolic Logic 25 (3):286-287.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  139. Martin Davis (1960). Review: E. W. Beth, Construction Semantique de la Logique Intuitioniste; A. Heyting, Intervention; A. Heyting, La Theorie Elementaire de l'Integration En Mathematiques Intuitionnistes. [REVIEW] Journal of Symbolic Logic 25 (3):287-287.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  140.  2
    Martin Davis (1960). Review: F. Gonseth, Sur la Methodologie des Recherches sur les Fondements des mathematiques. [REVIEW] Journal of Symbolic Logic 25 (3):287-288.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  141. Martin Davis (1960). Review: H. Arnold Schmidt, Un Procede Maniable de Decision pour la Logique Propositionelle Intuitionniste; A. Mostowski, Arnold Schmidt, A. Tarski, R. Feys, Interventions. [REVIEW] Journal of Symbolic Logic 25 (3):286-286.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  142.  2
    Martin Davis (1960). Review: Jean-Louis Destouches, Paulette Fevrier, Remarques sur Certains Aspects Formels des Theories Physiques; M. Frechet, J.-L. Destouches, G. Bouligand, E. W. Beth, P. Fevrier, Interventions. [REVIEW] Journal of Symbolic Logic 25 (3):288-288.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  143. Martin Davis (1960). Review: J. Porte, Recherches sur les Logiques Modales. [REVIEW] Journal of Symbolic Logic 25 (3):288-288.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  144. Martin Davis (1960). Review: Paul Bernays, Remarques sur le Probleme de la Decision en Logique Elementaire. [REVIEW] Journal of Symbolic Logic 25 (3):285-285.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  145. Martin Davis (1960). Review: Robert Feys, Expression de la Verifiabilite Experimentale Dans le Raisonnement Formalise; J.-L. Destouches, J. Porte, E. W. Beth, A. Tarski, P. Bernays, Interventions. [REVIEW] Journal of Symbolic Logic 25 (3):288-288.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  146. Martin Davis (1960). 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] Journal of Symbolic Logic 25 (3):285-286.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  147.  1
    Martin Davis (1960). Review: Roger Martin, Sur les Notions Intuitives Mises en Oeuvre par la Constitution et l'etude d'un Systeme Formel. [REVIEW] Journal of Symbolic Logic 25 (3):287-287.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  148. Martin Davis (1960). Schmidt H. Arnold. Un procédé maniable de décision pour la logique propositionnelle intuitionniste. 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. 57–64.Mostowski A., Schmidt Arnold, Tarski A., Feys R.. 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. 65–66. [REVIEW] Journal of Symbolic Logic 25 (3):286.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  149.  1
    Martin Davis (1959). Review: Alfred Tarski, Undecidable Theories. [REVIEW] Journal of Symbolic Logic 24 (2):167-169.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  150. Martin Davis (1959). 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] Journal of Symbolic Logic 24 (2):167-169.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  151. Martin Davis (1958). Addison J. W. And Kleene S. C.. A Note on Function Quantification. Proceedings of the American Mathematical Society, Vol. 8 , Pp. 1002–1006. [REVIEW] Journal of Symbolic Logic 23 (1):47-48.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  152.  80
    Martin Davis (1958). Computability & Unsolvability. Dover.
    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   82 citations  
  153. Martin Davis (1958). 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] Journal of Symbolic Logic 23 (1):48.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  154. Martin Davis (1958). Review: Georg Kreisel, Daniel Lacombe, Joseph R. Shoenfield, Fonctionnelles Recursivement Definissables Et Fonctionnelles Recursives. [REVIEW] Journal of Symbolic Logic 23 (1):48-48.
    Translate
     
     
    Export citation  
     
    My bibliography  
  155. Martin Davis (1958). Review: J. W. Addison, S. C. Kleene, A Note on Function Quantification. [REVIEW] Journal of Symbolic Logic 23 (1):47-48.
     
    Export citation  
     
    My bibliography  
  156.  20
    Martin Davis & Hilary Putnam (1958). Reductions of Hilbert's Tenth Problem. Journal of Symbolic Logic 23 (2):183-187.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  157. Martin Davis (1957). Markwald Werner. Ein Satz über die elementararithmetischen Definierbarkeitsklassen. Archiv für mathematische Logik und Grundlagenforschung, vol. 2 no. 2–4 , pp. 78–86; also Archiv für Philosophie vol. 5 no. 4 , pp. 398–406. [REVIEW] Journal of Symbolic Logic 22 (4):374.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  158.  1
    Martin Davis (1957). Review: Clifford Spector, On Degrees of Recursive Unsolvability. [REVIEW] Journal of Symbolic Logic 22 (4):374-375.
    Direct download  
     
    Export citation  
     
    My bibliography  
  159.  1
    Martin Davis (1957). Review: H. G. Rice, Recursive and Recursively Enumerable Orders. [REVIEW] Journal of Symbolic Logic 22 (4):375-375.
    Direct download  
     
    Export citation  
     
    My bibliography  
  160. Martin Davis (1957). Rice H. G.. Recursive and Recursively Enumerable Orders. Transactions of the American Mathematical Society, Vol. 83 , Pp. 277–300. [REVIEW] Journal of Symbolic Logic 22 (4):375.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  161. Martin Davis (1957). Review: Werner Markwald, Ein Satz Uber die Elementararithmetischen Definierbarkeitsklassen. [REVIEW] Journal of Symbolic Logic 22 (4):374-374.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  162. Martin Davis (1957). Spector Clifford. On Degrees of Recursive Unsolvability. Annals of Mathematics, Ser. 2 Vol. 64 , Pp. 581–592. Journal of Symbolic Logic 22 (4):374-375.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  163. Martin Davis (1956). Review: Th. Skolem, Some Considerations Concerning Recursive Functions. [REVIEW] Journal of Symbolic Logic 21 (1):98-99.
    Direct download  
     
    Export citation  
     
    My bibliography  
  164. Martin Davis (1956). Skolem Th.. Some Considerations Concerning Recursive Functions. Mathematica Scandinavica, Vol. 1 , Pp. 213–221. Journal of Symbolic Logic 21 (1):98-99.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  165. Martin Davis (1955). Dekker J. C. E.. Two Notes on Recursively Enumerable Sets. Proceedings of the American Mathematical Society, Vol. 4 , Pp. 495–501. [REVIEW] Journal of Symbolic Logic 20 (1):73-74.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  166. Martin Davis (1955). Myhill John. Criteria of Construclibility for Real Numbers. Journal of Symbolic Logic 20 (2):178.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  167. Martin Davis (1955). Markwald Werner. Zur Theorie der konstruktiven Wohlordnungen. Mathematische Annalen, vol. 127 , pp. 135–149. Journal of Symbolic Logic 20 (3):283.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  168. Martin Davis (1955). Review: J. C. E. Dekker, Two Notes on Recursively Enumerable Sets. [REVIEW] Journal of Symbolic Logic 20 (1):73-74.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  169.  2
    Martin Davis (1955). Review: John Myhill, Criteria of Constructibility for Real Numbers. [REVIEW] Journal of Symbolic Logic 20 (2):178-178.
    Direct download  
     
    Export citation  
     
    My bibliography  
  170. Martin Davis (1955). Review: Werner Markwald, Zur Theorie der Konstruktiven Wohlordnungen. [REVIEW] Journal of Symbolic Logic 20 (3):283-283.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  171. Martin Davis (1954). Mostowski Andrzej. An Undecidable Arithmetical Statement. Fundamenta Mathetnaticae, Vol. 36 , Pp. 143–164. Journal of Symbolic Logic 19 (2):118-119.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  172.  1
    Martin Davis (1954). Review: Andrzej Mostowski, An Undecidable Arithmetical Statement. [REVIEW] Journal of Symbolic Logic 19 (2):118-119.
    Direct download  
     
    Export citation  
     
    My bibliography  
  173.  12
    Martin Davis (1953). Arithmetical Problems and Recursively Enumerable Predicates. Journal of Symbolic Logic 18 (1):33-41.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  174. Martin Davis (1953). Review: Paul C. Rosenbloom, The Elements of Mathematical Logic. [REVIEW] Journal of Symbolic Logic 18 (3):277-280.
     
    Export citation  
     
    My bibliography  
  175. Martin Davis (1953). Rosenbloom Paul C.. The Elements of Mathematical Logic. Dover Publications, Inc., New York, 1951, 6 + Iv + 214 Pp. [REVIEW] Journal of Symbolic Logic 18 (3):277-280.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  176. Martin Davis (1951). Quine W. V.. On Decidability and Completeness. Synthese, Vol. 7 , Pp. 441–446. Journal of Symbolic Logic 16 (1):76.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  177. Martin Davis (1951). Robinson Julia. General Recursive Functions. Proceedings of the American Mathematical Society, Vol. 1 No. 6 , Pp. 703–718. [REVIEW] Journal of Symbolic Logic 16 (4):280.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  178. Martin Davis (1951). Review: Julia Robinson, General Recursive Functions. [REVIEW] Journal of Symbolic Logic 16 (4):280-280.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  179.  1
    Martin Davis (1951). Review: W. V. Quine, On Decidability and Completeness. [REVIEW] Journal of Symbolic Logic 16 (1):76-76.
  180. Martin Davis (1950). Mostowski Andrzej. On a Set of Integers Not Definable by Means of One-Quantifier Predicates. Annales de la Société Polonaise de Mathématique, Vol. 21 , Pp. 114–119. [REVIEW] Journal of Symbolic Logic 15 (2):135.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  181. Martin Davis (1950). Review: Andrzej Mostowski, On a Set of Integers Not Definable by Means of One-Quantifier Predicates. [REVIEW] Journal of Symbolic Logic 15 (2):135-135.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  182. Martin Davis (1950). Review: Marshall Hall, The Word Problem for Semigroups with Two Generators. [REVIEW] Journal of Symbolic Logic 14 (4):259-259.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  183. M. Davis, The Berry Paradox.
    Lecture given Wednesday 27 October 1993 at a Physics - Computer Science Colloquium at the University of New Mexico. The lecture was videotaped; this is an edited transcript. It also incorporates remarks made at the Limits to Scientific Knowledge meeting held at the Santa Fe Institute 24-26 May 1994.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
Is this list right?