| Collected Works, V1: Publications 1929-1936 |
Kurt Gödel |
Martin Davis |
The Journal of Symbolic Logic |
1990-03-01 |
| Reflections on Kurt Gödel |
Hao Wang |
S.G. Shanker |
Philosophy in Review |
1990-01-01 |
| Kurt Gödel. Eine Eigenschaft der Realisierungen des Aussagenkalküls (1932c). A reprint of 4189. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Review of Hahn's Reelle Funktionen. by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| John W. Dawson Jr. A Gödel chronology. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Über die Vollständigkeit des Logikkalküls (1929). Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| Solomon Feferman. Gödel's life and work. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Zum intuitionistische Aussagenkalkül (1932). A reprint of 4186. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Review of Hilbert's Die Grundlegung der elementaren Zahlentheorie (10818). Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Eine Interpretation des intuitionistischen Aussagenkalküls (1933f). A reprint of 41812. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Zur intuitionistischen Arithmetik und Zahlentheorie (1933e). A reprint of 41811. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Einige metamathematische Resultate über Entscheidunasdefinitheit und Widerspruchsfreiheit (1930b). A reprint of 4181. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Über die Länge von Beweisen (1936a). A reprint of I 116. Reelle Funktionen, by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Über Unabhängigkeitsbeweise im Aussagenkalküls (1933a). A reprint of 41810. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| Reflections on Kurt Gödel |
Hao Wang |
Palle Yourgrau |
Philosophy and Phenomenological Research |
1989-12-00 |
| Gödel's Theorem in Focus |
Stuart G Shanker |
John F Post |
Canadian Philosophical Reviews |
1989-07-01 |
| Collected Works, V1: Publications 1929-1936 |
Kurt Gödel |
Billy Joe Lucas |
Russell: The Journal of Bertrand Russell Studies |
1989-06-01 |
| Gödel Remembered: Salzburg 10-12 July |
Rudolf Gödel |
R E Vesley |
History and Philosophy of Logic |
1989-01-01 |
| Gödel's Theorem in Focus |
S G Shanker |
G L Forguson |
History and Philosophy of Logic |
1989-01-01 |
| Theorem in Focus |
Gödel |
John F. Post |
Philosophy in Review |
1989-01-01 |
| Reflections on Kurt Gödel |
Hao Wang |
Harold T. Hodes |
The Journal of Symbolic Logic |
1989 |
| Reflections on Kurt Gödel |
Hao Wang |
Marcus Giaquinto |
Mind |
1988-10-01 |
| Collected Works, V1: Publications 1929-1936 |
Kurt Gödel |
Stewart Shapiro |
History and Philosophy of Logic |
1988-01-01 |
| Collected Works, V1: Publications 1929-1936 |
Kurt Gödel |
Michael Dummett |
Mind |
1987-10-01 |
| Collected Works of Kurt Gödel: Volume 1 |
S Feferman |
J L Bell |
The Philosophical Quarterly |
1987-04-01 |
| Gödel, Escher, Bach: An Eternal Golden Braid |
Douglas R. Hofstadter |
Judson C. Webb |
The Journal of Symbolic Logic |
1983 |
| Gödel, Escher, Bach: An Eternal Golden Braid |
Douglas R Hofstadter |
Dennis Rohatyn |
The Modern Schoolman: A Quarterly Journal of Philosophy |
1982-11-01 |
| Gödel, Escher, Bach: An Eternal Golden Braid |
D. R. Hofstadter |
V Huber-Dyson |
Canadian Journal of Philosophy |
1981-12-00 |
| Gödel, Escher, Bach: An Eternal Golden Braid |
Douglas Hofstadter |
J A Robes |
Crítica: Revista Hispanoamericana de Filosofía |
1980-12-00 |
| Gödel, Escher, Bach: An Eternal Golden Braid |
Douglas Hofstadter |
James Lighthill |
London Review of Books |
1980-01-24 |
| Gödel, Escher, Bach: An Eternal Golden Braid |
Douglas R. Hofstadter |
Russell Hardin |
Ethics |
1980-01-01 |
| Godel, Escher, Bach: An Eternal Golden Braid |
D. R. Hofstadter |
J. Benardete |
The Review of Metaphysics |
1979-09-00 |
| Gödel, Escher, Bach: An Eternal Golden Braid |
Douglas R Hofstadter |
Erik Hollnagel |
Auslegung: A Journal of Philosophy |
1979-01-01 |
| Deux rêves de Leibniz, Réflexions sur une lecture de Skolem et de Gödel dans : La Communication, Actes du XVe Congres de l'Association des Sociétés de Philosophie de Langue Française, Université de Montréal |
Hugues Leblanc |
Herbert H. Knecht |
Studia Leibnitiana |
1976-01-00 |
| Stephen F. Barker. Realism as a philosophy of mathematics. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel |
Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn |
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| Haskell B. Curry. The undecidability of λK-conversion. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel |
Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn |
Richard J. Orgass |
The Journal of Symbolic Logic |
1975 |
| Eduard Wette. Definition eines (relativ vollständigen) formalen Systems konstruktiver Arithmetik. Foundations of mathemattes, Symposium papers commemorating the sixtieth birthday of Kurt Gödel |
Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn |
G. Kreisel |
The Journal of Symbolic Logic |
1972 |
| The Gödel incompleteness theorem and intelligent machines. AFIPS, Proceedings 1962 Spring Joint Computer Conference |
Frank B. Cannonito |
Perry Smith |
The Journal of Symbolic Logic |
1971 |
| Gödel's intepretation of Heyting's arithmetic |
G. Kreisel |
D. van Dalen |
The Journal of Symbolic Logic |
1971 |
| Foundations of Mathematics: Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel |
T. Holyoke |
JOHN P. Cleave |
The British Journal for the Philosophy of Science |
1970-11-01 |
| Gödel's theorem |
S G Shanker |
William Craig |
The Journal of Symbolic Logic |
1970 |
| From Frege to Gödel. A Source Book in Mathematical Logic 1879-1931 |
Jean Van Heijenoort |
Andrzej Mostowski |
Synthese |
1968-04-00 |
| Gödel's Proof |
Putnam |
Ernest Nagel |
Philosophy of Science |
1961-04-01 |
| Gödel's proof |
Ernest Nagel |
Hilary Putnam |
Philosophy of Science |
1960-04-01 |
| Les limitations internes des formalismes. Étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques |
Jean Ladrière |
Donald Monk |
The Journal of Symbolic Logic |
1960 |
| Socrate et Le Sage Indien |
Roger Godel |
Jerry Stannard |
Philosophy East and West |
1956-01-00 |
| Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel |
Andrzej Mostowski |
G. Hasenjaeger |
The Journal of Symbolic Logic |
1954 |
| Russell's mathematical logic |
Kurt Gödel |
Paul Bernays |
The Journal of Symbolic Logic |
1946 |
| The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory |
Kurt Gödel |
Paul Bernays |
The Journal of Symbolic Logic |
1941 |
| Journey to the Edge of Reason: The Life of Kurt Gödel |
Stephen Budiansky |
Publishers Weekly |
Publishers Weekly |
|
