Results for 'Matt H. Davis'

1000+ found
Order:
  1.  1
    Notes and Correspondence.Harry Barnes, Edward Kremers, George Sarton, E. H. & T. Davis - 1928 - Isis: A Journal of the History of Science 10:47-58.
    Direct download  
     
    Export citation  
     
    My bibliography  
  2.  22
    Efficiency, Information Theory, and Neural Representations.Joseph T. Devlin, Matt H. Davis, Stuart A. McLelland & Richard P. Russell - 2000 - 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.  2
    Alspector-Kelly, M., 93 Alter, T., 345 Ben-Yami, H., 155 Bernstein, M., 329.L. H. Davis, R. Daw, D. A. Denby, M. Gómez-Torrente, ÅM Wikforss & S. Yalowitz - 2001 - Philosophical Studies 102 (360).
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  4. The Universe of Science by H. Levy. [REVIEW]H. Davis - 1934 - Isis: A Journal of the History of Science 21:328-330.
    Direct download  
     
    Export citation  
     
    My bibliography  
  5.  44
    Gödel Kurt. Über Die Vollständigkeit des Logikkalküls (1929). Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986, Even Pp. 60–100. Gödel Kurt. On the Completeness of the Calculus of Logic (1929). English Translation by Stefan Bauer-Mengelberg and Jean van Heijenoort of the Preceding. Collected ... [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):341-342.
  6.  12
    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]Nancy Davis - 1993 - Ethics 103 (3):516-.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  7.  24
    The J. H. B. Bookshelf.Michael Fortun, Mark Madison, Edmund Russell, Freddrick R. Davis, Ann F. La Berge & Sally G. Kohlstedt - 1998 - Journal of the History of Biology 31 (1):143-154.
  8.  37
    H. Tristram Engelhardt, Jr., the Foundations of Christian Bioethics.Walter S. Davis - 2002 - Theoretical Medicine and Bioethics 23 (1):97-100.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  9.  15
    Gödel Kurt. Eine Interpretation des Intuitionistischen Aussagenkalküls (1933f). A Reprint of 41812. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986, Pp. 300, 302. Gödel Kurt. An Interpretation of the Intuitionistic Propositional Calculus (1933f). English Translation by John Dawson of the ... [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):346-346.
  10.  21
    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]G. R. C. Davis - 1939 - The Classical Review 53 (5-6):212-213.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11.  4
    Gödel Kurt. Über Die Vollständigkeit des Logikkalküls . Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986, Even Pp. 60– 100.Gödel Kurt. On the Completeness of the Calculus of Logic . English Translation by Stefan Bauer-Mengelberg and Jean van Heijenoort of the Preceding. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986, Odd Pp. 61– 101.Gödel Kurt. Die Vollständigkeit der Axiome des Logischen Funktionenkalküls . A Reprint of 4182. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gr. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):341-342.
  12.  9
    Gödel Kurt. Über Die Länge von Beweisen (1936a). A Reprint of I 116. Reelle Funktionen, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986 Pp. 396, 398. Gödel Kurt. On the Length of Proofs (1936a). English Translation by Stefan Bauer-Mengelberg and Jean van Heijenoort of the Preceding. Reelle Funktionen, by Kurt Gödel, Edited by Feferman Solomon ... [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):348-348.
  13.  14
    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.Nancy Davis - 1993 - Ethics 103 (4):731-.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  14.  6
    Gödel Kurt. Zur Intuitionistischen Arithmetik Und Zahlentheorie (1933e). A Reprint of 41811. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986, Even Pp. 286–294. Gödel Kurt. On Intuitionistic Arithmetic and Number Theory (1933e). English Translation by Stefan Bauer-Mengelberg and Jean van ... [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):346-346.
  15.  5
    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]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):347-347.
  16.  3
    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]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):344-345.
  17.  3
    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]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):345-345.
  18.  3
    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]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):347-348.
  19.  3
    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]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):343-343.
  20.  1
    Gödel Kurt. Über Die Länge von Beweisen . A Reprint of I 116. Reelle Funktionen, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986 Pp. 396, 398.Gödel Kurt. On the Length of Proofs . English Translation by Stefan Bauer-Mengelberg and Jean van Heijenoort of the Preceding. Reelle Funktionen, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986 Pp. 397, 399.Parikh Rohit. Introductory Note to 1936a. Reelle Funktionen, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986 Pp. 394– 397. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):348.
  21.  1
    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]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):342-343.
  22.  1
    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]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):345.
  23.  1
    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]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):342-343.
  24.  1
    Review: H. G. Rice, Recursive and Recursively Enumerable Orders. [REVIEW]Martin Davis - 1957 - Journal of Symbolic Logic 22 (4):375-375.
  25. Dante and His Comedy. Allan H. Gilbert.Charles T. Davis - 1966 - Speculum 41 (1):128-130.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26. 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]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):341.
  27. 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]Martin Davis - 1986 - Journal of Symbolic Logic 51 (2):477-479.
  28. 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]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):340-341.
  29. 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]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):345-346.
  30. 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]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):343.
  31. 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]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):345.
  32. 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]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):346.
  33. Gödel Kurt. Ein Spezialfall des Entscheidungsproblems der Theoretischen Logik . A Reprint of 4187. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986, Even Pp. 230–234.Gödel Kurt. A Special Case of the Decision Problem for Theoretical Logic . English Translation by John Dawson of the Preceding. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986, Odd Pp. 231– 235.Gödel Kurt. Zum Entscheidungsproblem des Logischen Funktionenkalüls . A Reprint of 41813. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene St. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):344-345.
  34. 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]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):347.
  35. 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]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):346-347.
  36. Gödel Kurt. Review of Hilbert's Die Grundlegung der Elementaren Zahlentheorie . Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986, Pp. 212, 214. , P. 260.)Gödel Kurt. English Translation by John Dawson of This Review. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986, Pp. 213, 215.Feferman Solomon. Introductory Note to 1931C. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York An. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):344.
  37. Gödel Kurt. Zur Intuitionistischen Arithmetik Und Zahlentheorie . A Reprint of 41811. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986, Even Pp. 286– 294.Gödel Kurt. On Intuitionistic Arithmetic and Number Theory . English Translation by Stefan Bauer-Mengelberg and Jean van Heijenoort of the Preceding. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986, Odd Pp. 287– 295.Troelstra A. S.. Introductory Note to 1933e. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solo. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):346.
  38. 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]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):344.
  39. Review: H. Arnold Schmidt, Un Procede Maniable de Decision pour la Logique Propositionelle Intuitionniste; A. Mostowski, Arnold Schmidt, A. Tarski, R. Feys, Interventions. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):286-286.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40. Rice H. G.. Recursive and Recursively Enumerable Orders. Transactions of the American Mathematical Society, Vol. 83 , Pp. 277–300. [REVIEW]Martin Davis - 1957 - Journal of Symbolic Logic 22 (4):375.
  41. 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]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):286.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42. The Privation Account of Evil: H. J. McCloskey and Francisco Suarez.Douglas P. Davis - 1987 - Proceedings of the American Catholic Philosophical Association 61:199-208.
    Direct download  
     
    Export citation  
     
    My bibliography  
  43. The Privation Account of Evil: H. J. McCloskey and Francisco Suarez.Douglas P. Davis - 1987 - Proceedings and Addresses of the American Philosophical Association 61:199.
     
    Export citation  
     
    My bibliography  
  44. The is-Ought Problem: Its History, Analysis, and Dissolution by William H. Bruening Washington, D.C.: University Press of America, 1978. [REVIEW]Philip E. Davis - 1978 - Philosophical Investigations 1 (3):47-49.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  45. Implicature: Intention, Convention, and Principle in the Failure of Gricean Theory.Wayne A. Davis - 1998 - 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  
  46.  16
    Patrons—Philip Hefner Fund.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 - Zygon 44 (1):653-654.
  47.  2
    Effects of a Protein- and Tryptophan-Deficient Diet Upon Complex Maze Performance.Angela H. Becker, Stephen F. Davis, Cathy A. Grover & Cynthia A. Erickson - 1990 - Bulletin of the Psychonomic Society 28 (2):126-128.
  48. The Effects of a Tryptophan- and Protein-Deficient Diet Upon Growth in Rats.Angela H. Becker, Stephen F. Davis, Cathy A. Grover & Cynthia A. Erickson - 1989 - Bulletin of the Psychonomic Society 27 (4):345-347.
  49. Patrons—P/Jilzjo Hefizer Fund.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 - Zygon 44 (1-2):231.
  50. Patrons—Philtp Hefher Fund.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 - Zygon 44 (3-4):749.
1 — 50 / 1000