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

1000+ found
Order:
  1.  12
    L. P. W. (1912). Ante Limen. A New Latin Book for Younger Beginners, Based Upon Limen. By R. H. Rees, B.A., Assistant-Mistress at Ladybarn House School. One Vol. Ground-Plan of the Forum. Pp. 128. Albemarle Street, W.; John Murray. July, 1911. 1s. 6d. [REVIEW] The Classical Review 26 (01):32-33.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  6
    Jessica Carter (2016). John W. Dawson, Jr. Why Prove It Again: Alternative Proofs in Mathematical Practice. Philosophia Mathematica 24 (2):256-263.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  2
    Jessica Carter (forthcoming). John W. Dawson, Jr. Why Prove It Again: Alternative Proofs in Mathematical Practice. Basel: Birkhäuser, 2015. ISBN: 978-3-319-17367-2 ; 978-3-319-17368-9 . Pp. Xii + 204. [REVIEW] Philosophia Mathematica:nkw003.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4. Louise Golland (2002). Kurt Gödel.Collected Works. Volume 1:Publications, 1929–1936.Edited by Solomon Feferman, John W. Dawson, Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort. Xviii + 474 Pp., Frontis., Illus., Bibl., Index. 1986. Oxford/New York: Oxford University Press, 2001. $34.95 .Kurt Gödel.Collected Works. Volume 2:Publications, 1938–1974.Edited by Solomon Feferman, John W. Dawson, Jr., Charles Parsons, Robert M. Solovay, and Jean van Heijenoort. Xv + 407 Pp., Frontis., Illus., Bibl., Index. 1990. Oxford/New York: Oxford University Press, 2001. $34.95 .Kurt Gödel.Collected Works. Volume 3:Unpublished Essays and Lectures.Edited by Solomon Feferman, John W. Dawson, Jr., Charles Parsons, and Robert M. Solovay. Xx + 532 Pp., Frontis., Illus., Bibl., Index. 1995. Oxford/New York: Oxford University Press, 2001. $39.95. [REVIEW] Isis 93 (3):517-518.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5. Mario Gomez-Torrente (1998). Logical Dilemmas: The Life and Work of Kurt Godel by John W. Dawson, Jr. [REVIEW] Isis: A Journal of the History of Science 89:356-357.
    Direct download  
     
    Export citation  
     
    My bibliography  
  6. Albert C. Lewis (2004). Kurt Gödel.Collected Works. Volume 4: Correspondence, A–G. Edited by Solomon Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, and Wilfried Sieg. Xix + 662 Pp., Frontis., Illus., Bibl., Index. Oxford/New York: Oxford University Press, 2003. $110 .Kurt Gödel.Collected Works. Volume 5: Correspondence, H–Z. Edited by Solomon Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, and Wilfried Sieg. Xxiii + 664 Pp., Frontis., Illus., Bibl., Index. Oxford/New York: Oxford University Press, 2003. $130. [REVIEW] Isis 95 (1):162-163.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  32
    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  
  8.  12
    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.  6
    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  
  10.  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  
  11.  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  
  12.  1
    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  
  13.  1
    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  
  14.  1
    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  
  15.  1
    Stewart Shapiro (1992). Perspectives on the History of Mathematical Logic, Edited by Drucker Thomas, Birkhäuser, Boston, Basel, and Berlin, 1991, Xxiii + 195 Pp.Dawson John W. Jr. The Reception of Gödel's Incompleteness Theorems. Pp. 84–100. [REVIEW] Journal of Symbolic Logic 57 (4):1487-1489.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16.  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  
  17.  3
    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  
  18.  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  
  19.  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  
  20.  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  
  21.  1
    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  
  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 (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  
  24. 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  
  25. 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  
  26. 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  
  27. 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  
  28. 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  
  29. 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  
  30. 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  
  31. 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  
  32. 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  
  33. 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  
  34. 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 (eds.) (2002). Public Philosophy and Political Science: Crisis and Reflection. Lexington Books.
    The crisis of western civilization is a crisis of public philosophy. This is the charge of Public Philosophy and Political Science, a stunning new collection of essays edited by E. Robert Statham Jr. Vividly cataloging the decay of the moral and intellectual foundations of civic liberty, the book portrays a generation of Americans alienated from institutions built on public philosophy. The work exposes the failure of America's political scientists to acknowledge and understand this alarming crisis in the American body politic. (...)
    No categories
     
    Export citation  
     
    My bibliography  
  35. 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).
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36.  55
    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.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  37. Joseph W. Dauben (1986). Collected Works Volume I:Publications, 1929-1936Kurt Godel Solomon Feferman John W. Dawson Stephen C. Kleene Gregory H. Moore Robert M. Solovay Jean van Heijenoort. [REVIEW] Isis 77 (4):691-692.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38.  47
    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.
  39.  4
    Joseph Dauben (1986). Collected Works Volume I:Publications, 1929-1936 by Kurt Godel; Solomon Feferman; John W. Dawson; Stephen C. Kleene; Gregory H. Moore; Robert M. Solovay; Jean van Heijenoort. [REVIEW] Isis: A Journal of the History of Science 77:691-692.
    Direct download  
     
    Export citation  
     
    My bibliography  
  40.  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  
  41.  1
    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 (4):480-481.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42. 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.
    No categories
     
    Export citation  
     
    My bibliography  
  43. 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  
  44. Donald Kalish (1964). Anderson John M. And Johnstone Henry W. Jr., Natural Deduction. The Logical Basis of Axiom Systems. Wadsworth Publishing Company, Inc., Belmont, California, 1962, Xii + 418 Pp. [REVIEW] Journal of Symbolic Logic 29 (2):93-94.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45.  4
    Donald W. Shriver Jr & E. Richard Knox (1985). Taxation in the History of Protestant Ethics. Journal of Religious Ethics 13 (1):134-160.
    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  
     
    Export citation  
     
    My bibliography  
  46.  9
    C. W. (1990). John Fisher (1922-1989). Journal of Aesthetics and Art Criticism 48 (1).
    Direct download  
     
    Export citation  
     
    My bibliography  
  47.  13
    M. M. W. (1939). Book Review:Theory of Valuation John Dewey. [REVIEW] Philosophy of Science 6 (4):490-.
  48. A. W. (2003). A Review of A. John Simmons, Justification and Legitimacy: Essays on Rights and Obligations. [REVIEW] Law and Philosophy 22 (2):195-216.
     
    Export citation  
     
    My bibliography  
  49.  2
    M. M. W. (1940). Book Review:Science in Your Life John Pfeiffer; Picture of Health James Clarke; Getting and Spending Mildred Adams; Who Are These Americans? Paul B. Sears; Which Way America? Lyman Bryson. [REVIEW] Philosophy of Science 7 (3):386-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50.  2
    M. M. W. (1947). Book Review:Empirical Philosphies of Religion James Alfred Martin, Jr. [REVIEW] Philosophy of Science 14 (1):103-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000