The published work of Kurt Gödel: an annotated bibliography

Notre Dame Journal of Formal Logic 24 (2):255-284 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093870315

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Addenda and corrigenda to: "The published work of Kurt Gödel: an annotated bibliography".John W. Dawson - 1984 - Notre Dame Journal of Formal Logic 25 (3):283-287.
Logical Dilemmas: The Life and Work of Kurt Godel by John W. Dawson, Jr. [REVIEW]Mario Gomez-Torrente - 1998 - Isis 89:356-357.
Book review: "Kurt Gödel, Collected Works, Vol. I". [REVIEW]Georg Kreisel - 1987 - Notre Dame Journal of Formal Logic 29:160-181.
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.
Book Review: Kurt Gödel. Collected Works, Volumes IV and V. [REVIEW]Paolo Mancosu - 2004 - Notre Dame Journal of Formal Logic 45 (12):109-125.
Review: Kurt Godel, John Dawson, Review of Hahn's Reele Funktionen. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):346-347.
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]Martin Davis - 1998 - Philosophia Mathematica 6 (1):116-128.
Logic Lectures. Gödel's Basic Logic Course at Notre Dame.Jan von Plato - 2018 - History and Philosophy of Logic 39 (4):396-401.
Kurt Gödel. Ein Spezialfall des Entscheidungsproblems der theoretischen Logik . A reprint of 4187. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, even pp. 230–234. - Kurt Gödel. 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 Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, odd pp. 231– 235. - Kurt Gödel. Zum Entscheidungsproblem des logischen Funktionenkalüls . A reprint of 41813. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):344-345.
John W. Dawson Jr. A Gödel chronology. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 37– 43. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):341.

Analytics

Added to PP
2010-08-24

Downloads
20 (#181,865)

6 months
7 (#1,397,300)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Discussion on the foundation of mathematics.John W. Dawson - 1984 - History and Philosophy of Logic 5 (1):111-129.

Add more citations

References found in this work

No references found.

Add more references