Search results for 'John W. Dawson Jr' (try it on Scholar)

836 found
Sort by:
  1. 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.score: 990.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. 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.score: 990.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  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.score: 990.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. 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.score: 990.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. 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.score: 990.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. 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.score: 990.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. 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.score: 990.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. 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.score: 990.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. 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.score: 990.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. 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.score: 990.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. John W. Oller Jr, Kunok Kim & Yongjae Choe (2001). Can Instructions to Nonverbal IQ Tests Be Given in Pantomime? Additional Applications of a General Theory of Signs. Semiotica 2001 (133).score: 855.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. George W. Carey, James W. Ceaser, Michael A. Gillespie, John Gueguen Jr, Manfred Henningsen, Theodore J. Lowi, John Marini, Edward B. McLean, Larry Peterman, David Ricci, Steven B. Smith & E. Robert Statham Jr (2002). Public Philosophy and Political Science: Crisis and Reflection. Lexington Books.score: 810.0
    No categories
     
    My bibliography  
     
    Export citation  
  13. J. Andrew DeWoody, John W. Bickham, Charles H. Michler, Krista M. Nichols, Olin E. Rhodes & Keith E. Woeste (2011). Conservation Genetics for Natural ResourcesMolecular Approaches in Natural Resource Conservation and Management.J. Andrew DeWoody , John W. Bickham , Charles H. Michler , Krista M. Nichols , Olin E. Rhodes Jr. , and Keith E. Woeste , Eds . Cambridge University Press , 2010 . 392 Pp., Illus. $55.00 (ISBN 9780521731348 Paper). [REVIEW] BioScience 61 (4):330-331.score: 468.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. Donald W. Shriver Jr & E. Richard Knox (1985). Taxation in the History of Protestant Ethics. Journal of Religious Ethics 13 (1):134 - 160.score: 450.0
    Taxation and government policy related to it have only episodic appearance in classical Protestant ethical sources. Of the early sixteenth century reformers, Luther gave most attention to the subject, justifying taxation in general as necessary for the just service of government to the public good and calling the princes to spend tax monies for that good rather than their own luxury. Calvin made much the same claims but called more clearly for official church scrutiny of all government than did Luther. (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. William W. Tait (2006). Gödel's Correspondence on Proof Theory and Constructive Mathematics Kurt Gödel. Collected Works. Volume IV: Selected Correspondence A–G; Volume V: Selected Correspondence H–Z. Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons, and Wilfried Sieg, Eds. Oxford: Oxford University Press, 2002. Pp. Xi+ 662; Xxiii+ 664. ISBN 0-19-850073-4; 0-19-850075-0. [REVIEW] Philosophia Mathematica 14 (1):76-111.score: 447.8
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. Georg Kreisel (1991). Review: Kurt Godel, Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort, Collected Works of Kurt Godel 1938-1974. [REVIEW] Journal of Symbolic Logic 56 (3):1085-1089.score: 438.8
  17. Martin Davis (1990). Review: John W. Dawson, A Godel Chronology. [REVIEW] Journal of Symbolic Logic 55 (1):341-341.score: 438.8
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. D. L. C. Maclachlan (1964). Class Logic: A Programed Text. By John W. Blyth and John H. Jacobson, Jr. New York, Harcourt, Brace & World, Inc., 1963. Pp. Xxi, 392, $5.45. [REVIEW] Dialogue 2 (04):480-481.score: 427.5
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. E. J. Campion (2000). The Third Way: Economic Justice According to John Paul II. By W. King Mott, Jr. The European Legacy 5 (2):257-257.score: 405.0
    No categories
     
    My bibliography  
     
    Export citation  
  20. 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.score: 405.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  21. M. M. W. (1947). Book Review:Empirical Philosphies of Religion James Alfred Martin, Jr. [REVIEW] Philosophy of Science 14 (1):103-.score: 360.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. Stephen John (2004). Titanic Ethics, Pirate Ethics, Bioethics: Bioethics Ellen Frankel Paul, Fred D. Miller, Jr., & Jeffrey Paul (Eds.); Cambridge University Press, Cambridge, New York & Melbourne, 2002, Pp. Xvii+ 396, Price£ 15.95 Paperback, ISBN 0-521-52526-8. [REVIEW] Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 35 (1):177-184.score: 360.0
    No categories
     
    My bibliography  
     
    Export citation  
  23. John Knox Jr (1969). Can the Self Survive the Death of Its Mind? Religious Studies 5 (1):85 - 97.score: 240.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. John Wingard Jr (2010). Reliability in Plantinga´s Account of Epistemic Warrant. Principia 6 (2):249-278.score: 240.0
    In das paper 1 ccmstder the rehabday condaton in Atm PlanungaS's proper functionabst account of eptstemtc warrant I begm by reviewing m some detail the features of the rehabdity condition as Planunga lias aruculated a From there, 1 consider what is needed to ground or secure the sort of rehability whzch Plantinga has m mind, and argue that what is needed is a significant causai condam which has generally been overlooked Then, after identifying eight verstons of the relevant sort of (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  25. John Jay Osborn Jr (1995). : Kill All the Lawyers?: Shakespeare's Legal Appeal . Daniel J. Kornstein. Cardozo Studies in Law and Literature 7 (1):73-77.score: 240.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. John Knox Jr (1995). Pre-Existence, Survival, and Sufficient Reason. American Philosophical Quarterly 32 (2):167 - 176.score: 240.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  27. Rulon Wells, Richard Brandt, Henry W. Johnstone Jr, Manley Thompson & Gustav Bergmann (1952). Comments on Mr. Raab's Theses. Review of Metaphysics 6 (1):124 - 129.score: 240.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  28. John Knox Jr (1975). A. C. Ewing: A Critical Survey of Ewing's Recent Work. Religious Studies 11 (2):229 - 255.score: 240.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  29. Raymond W. Gibbs Jr (2003). Review of “Bridging and Relevance” by Tomoko Matsui. [REVIEW] Pragmatics and Cognition 11 (1):191-196.score: 240.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  30. John Knox Jr (1962). Concerning the Argument From Perspectival Variation. Review of Metaphysics 15 (3):518 - 521.score: 240.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31. John B. Cobb Jr (2008). Memory in a Whiteheadian Perspective. World Futures 64 (2):116 – 124.score: 240.0
    Whitehead does not provide us with a systematic account of the various types of experience to which the word “memory” is applied. Nevertheless, he does provide us with a way of understanding the world, and living creatures who inhabit it, that places the discussion in a different context from the usual one: the diverse features of human experience that we call memory are developed forms of basic patterns of relationship that characterize all actual entities. I will first review the relevant (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  32. John Knox Jr (1974). Review: The Self and Immortality. [REVIEW] Religious Studies 10 (1):89 - 100.score: 240.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. Henry W. Johnstone Jr (1976). Sleep and Death. The Monist 59 (2):218 - 233.score: 240.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  34. Henry W. Johnstone Jr (1964). Self-Refutation and Validity. The Monist 48 (4):467 - 485.score: 240.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  35. John Knox Jr (1967). Blanshard on Causation and Necessity. Review of Metaphysics 20 (3):518 - 532.score: 240.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. John Jay Osborn Jr (1996). Introduction to the Boalt Hall Symposium. Cardozo Studies in Law and Literature 8 (2):i-i.score: 240.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  37. John Jay Osborn Jr (1998). On the Tenth Anniversary of "Cardozo Studies in Law and Literature". Cardozo Studies in Law and Literature 10 (2):129-130.score: 240.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  38. John Knox Jr (1970). Reply to Professor Woodhouse. Religious Studies 6 (3):273 - 280.score: 240.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  39. John M. Wryobeck & Bernard E. Whitley Jr (1999). Educational Value Orientation and Peer Perceptions of Cheaters. Ethics and Behavior 9 (3):231 – 242.score: 240.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  40. C. D. Broad, Alan Dorward, C. W., A. E. Taylor, F. C. S. Schiller & S. Dawson (1916). New Books. [REVIEW] Mind 25 (97):113-129.score: 240.0
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  41. John Jay Osborn Jr (1989). At Sea: An Exploration of Implicit Assumptions in "Hamlet, Oedipus" and "St. Joan". Cardozo Studies in Law and Literature 1 (2):199-210.score: 240.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  42. John Knox Jr (1970). Does Becoming Entail a Contradiction? American Philosophical Quarterly 7 (4):357 - 363.score: 240.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. John Cairns Jr (2011). Is a Little Pollution Good for You? Incorporating Societal Values in Environmental Research. BioScience 61 (10):829-831.score: 240.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  44. Henry W. Johnstone Jr (1958). New Outlooks on Controversy. Review of Metaphysics 12 (1):57 - 67.score: 240.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  45. Hugh Lloyd-Jones (1986). Ward W. Briggs Jr, Hubert W. Benario(Edd.): Basil Lanneau Gilder Sleeve: An American Classicist. (AJP Monographs in Classical Philology.) Pp. Xii + 115; 1 Plate. Baltimore and London: The Johns Hopkins University Press, 1985. $12.95. [REVIEW] The Classical Review 36 (02):357-358.score: 232.5
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  46. Nicholas Horsfall (1988). Gildersleeve's Letters Ward W. Briggs Jr.: The Letters of Basil Lanneau Gildersleeve. Pp. Xxxii + 408; Frontispiece + 12 Pp. Of Plates. Baltimore: Johns Hopkins University Press, 1987. £35.15. [REVIEW] The Classical Review 38 (02):389-390.score: 232.5
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  47. Edward Regis Jr (1982). J. Roland Pennock and John W. Chapman, Eds., Human Rights: Nomos XXIII Reviewed By. Philosophy in Review 2 (5):242-244.score: 211.5
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  48. W. von Leyden (1965). How Philosophy Uses Its Past. By John Herman Randall Jr, (New York and London: Columbia University Press, 1963. Price 26s.). [REVIEW] Philosophy 40 (151):73-.score: 211.5
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  49. Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.) (2010). Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.score: 204.0
    Machine generated contents note: Part I. General: 1. The Gödel editorial project: a synopsis Solomon Feferman; 2. Future tasks for Gödel scholars John W. Dawson, Jr., and Cheryl A. Dawson; Part II. Proof Theory: 3. Kurt Gödel and the metamathematical tradition Jeremy Avigad; 4. Only two letters: the correspondence between Herbrand and Gödel Wilfried Sieg; 5. Gödel's reformulation of Gentzen's first consistency proof for arithmetic: the no-counter-example interpretation W. W. Tait; 6. Gödel on intuition and on Hilbert's (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  50. Editor John W. Dawson Jr (2004). Foreword. History and Philosophy of Logic 25 (1):1-1.score: 204.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 836