Search results for 'Matt H. Davis' (try it on Scholar)

1000+ found
Order:
  1.  1
    Harry Barnes, Edward Kremers, George Sarton, E. H. & T. Davis (1928). Notes and Correspondence. Isis: A Journal of the History of Science 10:47-58.
    Direct download  
     
    Export citation  
     
    My bibliography  
  2.  18
    Joseph T. Devlin, Matt H. Davis, Stuart A. McLelland & Richard P. Russell (2000). Efficiency, Information Theory, and Neural Representations. Behavioral and Brain Sciences 23 (4):475-476.
    We contend that if efficiency and reliability are important factors in neural information processing then distributed, not localist, representations are “evolution's best bet.” We note that distributed codes are the most efficient method for representing information, and that this efficiency minimizes metabolic costs, providing adaptive advantage to an organism.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  3.  1
    L. H. Davis, R. Daw, D. A. Denby, M. Gómez-Torrente, ÅM Wikforss & S. Yalowitz (2001). Alspector-Kelly, M., 93 Alter, T., 345 Ben-Yami, H., 155 Bernstein, M., 329. Philosophical Studies 102 (360).
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  4. H. Davis (1934). The Universe of Science by H. Levy. [REVIEW] Isis: A Journal of the History of Science 21:328-330.
    Direct download  
     
    Export citation  
     
    My bibliography  
  5.  21
    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  
  6.  24
    Michael Fortun, Mark Madison, Edmund Russell, Freddrick R. Davis, Ann F. La Berge & Sally G. Kohlstedt (1998). The J. H. B. Bookshelf. Journal of the History of Biology 31 (1):143-154.
  7.  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  
  8.  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  
  9.  21
    Walter S. Davis (2002). H. Tristram Engelhardt, Jr., the Foundations of Christian Bioethics. Theoretical Medicine and Bioethics 23 (1):97-100.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  10.  12
    Nancy Davis (1993). The Abortion Debate: The Search for Common Ground, Part 1:Contested Lives: The Abortion Debate in an American Community. Faye D. Ginsburg; Abortion: The Clash of Absolutes. Laurence H. Tribe. [REVIEW] Ethics 103 (3):516-.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  11.  15
    G. R. C. Davis (1939). Bricks as Evidence of Date H. Bloch: I bolli laterizi e la storia edilizia rontana. Pp. 353; 45 figures. (Ristampato dal Bullettino della Commissione Archeologica del Governatorato di Roma, Volumi LXIV e sgg.) Rome, 1938. Paper. [REVIEW] The Classical Review 53 (5-6):212-213.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  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  
  13.  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  
  14.  12
    Nancy Davis (1993). The Abortion Debate: The Search for Common Ground, Part 2:Contested Lives: The Abortion Debate in an American Community Faye D. Ginsburg; Abortion: The Clash of Absolutes Laurence H. Tribe. Ethics 103 (4):731-.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  15.  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  
  16.  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  
  17.  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  
  18.  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  
  19.  2
    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  
  20.  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  
  21. Charles T. Davis (1966). Dante and His ComedyAllan H. Gilbert. Speculum 41 (1):128-130.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22. 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  
  23. 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  
  24. 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  
  25. 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  
  26. 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  
  27. 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  
  28. 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  
  29. 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  
  30. 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  
  31. 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  
  32. 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  
  33. 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  
  34. 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  
  35. 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  
  36. 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  
  37. 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  
  38. 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  
  39. 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  
  40. 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  
  41. 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  
  42. Philip E. Davis (1978). The is-Ought Problem: Its History, Analysis, and Dissolution by William H. Bruening Washington, D.C.: University Press of America, 1978. [REVIEW] Philosophical Investigations 1 (3):47-49.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  43.  94
    Wayne A. Davis (1998). Implicature: Intention, Convention, and Principle in the Failure of Gricean Theory. Cambridge University Press.
    H. P. Grice virtually discovered the phenomenon of implicature (to denote the implications of an utterance that are not strictly implied by its content). Gricean theory claims that conversational implicatures can be explained and predicted using general psycho-social principles. This theory has established itself as one of the orthodoxes in the philosophy of language. Wayne Davis argues controversially that Gricean theory does not work. He shows that any principle-based theory understates both the intentionality of what a speaker implicates and (...)
    Direct download  
     
    Export citation  
     
    My bibliography   23 citations  
  44. Wayne A. Davis (2011). Implicature: Intention, Convention, and Principle in the Failure of Gricean Theory. Cambridge University Press.
    H. P. Grice virtually discovered the phenomenon of implicature. Gricean theory claims that conversational implicatures can be explained and predicted using general psycho-social principles. This theory has established itself as one of the orthodoxes in the philosophy of language. Wayne Davis argues controversially that Gricean theory does not work. He shows that any principle-based theory understates both the intentionality of what a speaker implicates and the conventionality of what a sentence implicates. In developing his argument the author explains that (...)
    No categories
     
    Export citation  
     
    My bibliography   3 citations  
  45. Wayne A. Davis (2010). Implicature: Intention, Convention, and Principle in the Failure of Gricean Theory. Cambridge University Press.
    H. P. Grice virtually discovered the phenomenon of implicature. Gricean theory claims that conversational implicatures can be explained and predicted using general psycho-social principles. This theory has established itself as one of the orthodoxes in the philosophy of language. Wayne Davis argues controversially that Gricean theory does not work. He shows that any principle-based theory understates both the intentionality of what a speaker implicates and the conventionality of what a sentence implicates. In developing his argument the author explains that (...)
    No categories
     
    Export citation  
     
    My bibliography  
  46.  4
    Solomon H. Katz, William Lesher, Karl E. Peters, Don Browning, Paul H. Carr, Marjorie H. Davis, Thomas L. Gilbert, P. Roger Gillette, Melvin Gray & Lothar Schäfer (2009). Patrons—Philip Hefner Fund. Zygon 44 (1):653-654.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47.  2
    Angela H. Becker, Stephen F. Davis, Cathy A. Grover & Cynthia A. Erickson (1990). Effects of a Protein- and Tryptophan-Deficient Diet Upon Complex Maze Performance. Bulletin of the Psychonomic Society 28 (2):126-128.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  48. Angela H. Becker, Stephen F. Davis, Cathy A. Grover & Cynthia A. Erickson (1989). The Effects of a Tryptophan- and Protein-Deficient Diet Upon Growth in Rats. Bulletin of the Psychonomic Society 27 (4):345-347.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  49. Solomon H. Katz, William Lesher, Karl E. Peters, Don Browning, Paul H. Carr, Marjorie H. Davis, Thomas L. Gilbert Lothar Schafer, Melvin Gray, Frank E. Budenholzer & S. V. D. Antje (2009). Patrons—P/Jilzjo Hefizer Fund. Zygon 44 (1-2):231.
     
    Export citation  
     
    My bibliography  
  50. Solomon H. Katz, William Lesher, Karl E. Peters, Don Browning, Paul H. Carr, Marjorie H. Davis, Thomas L. Gilbert, Melvin Gray, Daniel Jungkuntz & Patricia McCIeIIand (2009). Patrons—Philtp Hefher Fund. Zygon 44 (3-4):749.
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000