Results for 'John W. Dawson Jr'

1000+ found
Order:
  1.  12
    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]L. P. W. - 1912 - The Classical Review 26 (01):32-33.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  6
    John W. Dawson, Jr. Why Prove It Again: Alternative Proofs in Mathematical Practice.Jessica Carter - 2016 - Philosophia Mathematica 24 (2):256-263.
  3.  1
    John W. Dawson, Jr. Logical Dilemmas: The Life and Work of Kurt Gödel. Wellesley, Massachusetts: A. K. Peters, 1997. Pp. Xiv + 361. ISBN 1-56881-025-3. [REVIEW] Davis - 1998 - Philosophia Mathematica 6 (1):116-128.
    Direct download  
     
    Export citation  
     
    My bibliography  
  4.  3
    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]Jessica Carter - forthcoming - Philosophia Mathematica:nkw003.
  5. 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]Louise Golland - 2002 - Isis 93 (3):517-518.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6. Logical Dilemmas: The Life and Work of Kurt Godel by John W. Dawson, Jr. [REVIEW]Mario Gomez-Torrente - 1998 - Isis: A Journal of the History of Science 89:356-357.
    Direct download  
     
    Export citation  
     
    My bibliography  
  7. 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]Albert C. Lewis - 2004 - Isis 95 (1):162-163.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  43
    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.
  9.  14
    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.  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.
  11.  7
    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.
  12.  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.
  13.  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.
  14.  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.
  15.  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.
  16.  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.
  17.  1
    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]Stewart Shapiro - 1992 - Journal of Symbolic Logic 57 (4):1487-1489.
  18.  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.
  19.  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.
  20.  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.
  21.  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.
  22.  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.
  23. 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.
  24. 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.
  25. 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.
  26. 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.
  27. 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.
  28. 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.
  29. 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.
  30. 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.
  31. 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.
  32. 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.
  33. 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.
  34. 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.
  35. Can Instructions to Nonverbal IQ Tests Be Given in Pantomime? Additional Applications of a General Theory of Signs.John W. Oller Jr, Kunok Kim & Yongjae Choe - 2001 - Semiotica 2001 (133).
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  36.  55
    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]William W. Tait - 2006 - Philosophia Mathematica 14 (1):76-111.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  37. 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]Joseph W. Dauben - 1986 - Isis 77 (4):691-692.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38.  47
    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]Georg Kreisel - 1991 - Journal of Symbolic Logic 56 (3):1085-1089.
  39.  6
    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]Joseph Dauben - 1986 - Isis: A Journal of the History of Science 77:691-692.
    Direct download  
     
    Export citation  
     
    My bibliography  
  40.  2
    Review: John W. Dawson, A Godel Chronology. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):341-341.
  41.  2
    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]D. L. C. Maclachlan - 1964 - Dialogue 2 (4):480-481.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42. The Third Way: Economic Justice According to John Paul II. By W. King Mott, Jr.E. J. Campion - 2000 - The European Legacy 5 (2):257-257.
    No categories
     
    Export citation  
     
    My bibliography  
  43. Review: Kurt Godel, John Dawson, A Property of the Realizations of the Propositional Calculus (1932c); W. V. Quine, Introductory Note to 1932c. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):345-345.
     
    Export citation  
     
    My bibliography  
  44. 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]Donald Kalish - 1964 - Journal of Symbolic Logic 29 (2):93-94.
  45.  9
    John Fisher (1922-1989).C. W. - 1990 - Journal of Aesthetics and Art Criticism 48 (1).
    Direct download  
     
    Export citation  
     
    My bibliography  
  46. A Review of A. John Simmons, Justification and Legitimacy: Essays on Rights and Obligations. [REVIEW]A. W. - 2003 - Law and Philosophy 22 (2):195-216.
  47.  2
    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]M. M. W. - 1940 - Philosophy of Science 7 (3):386-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48.  2
    Book Review:Empirical Philosphies of Religion James Alfred Martin, Jr. [REVIEW]M. M. W. - 1947 - Philosophy of Science 14 (1):103-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49.  3
    Book Review:The Authoritarian Attempt to Capture Education John Dewey, Sidney Hook, Arthur E. Murphy, Irwin Edman, Bruce Bliven. [REVIEW]M. M. W. - 1947 - Philosophy of Science 14 (1):103-.
  50.  3
    Book Review:Science and the Planned State John R. Baker. [REVIEW]M. M. W. - 1947 - Philosophy of Science 14 (2):171-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000