| An Introduction to Gödel's Theorems |
Peter Smith |
Arnon Avron |
The Bulletin of Symbolic Logic |
2009-06-00 |
| Les Démons de Gödel: Logique et Folie |
Pierre Cassou-Noguès |
Yehuda Rav |
Philosophia Mathematica |
2009-02-01 |
| Kurt Gödel: Das Album: The Album |
Karl Sigmund |
Francisco Rodríguez Consuegra |
Analítica: Revista de Filosofía (Peru) |
2009-01-01 |
| Un mundo sin tiempo: El legado olvidado de Gödel y Einstein |
Paul Yourgrau |
Henrik Zinkernagel |
Teorema |
2009-01-01 |
| Kurt Gödel: Das Album: The Album |
P Cassou-Noguès |
J W Dawson Jr |
History and Philosophy of Logic |
2008-02-01 |
| Sócrates en Viena: Una biografía intelectual de Kurt Gödel |
Enrique Alonso Gonzáles |
Javier Taravilla Herrera |
Revista de Hispanismo Filosófico |
2008-01-01 |
| Kurt Gödel: Das Album: The Album |
Karl Sigmund |
Volker Peckhaus |
The Bulletin of Symbolic Logic |
2007-12-01 |
| An Introduction to Gödel's Theorems |
Peter Smith |
Jesus Mari Larrazabal |
Gogoa: Euskal Herriko Unibertsitateko Hizkuntza, Ezagutza, Komunikazio eta Ekintzari buruzko Aldizkaria |
2007-10-01 |
| Gödel's Theorem: An Incomplete Guide to Its Use and Abuse |
Torkel Franzén |
Lev D Beklemishev |
The Bulletin of Symbolic Logic |
2007-06-01 |
| Kurt Gödel: Wahrheit und Beweisbarkeit, Band 1: Dokumente und historische Analysen |
Eckehart Köhler |
Hannes Leitgeb |
Philosophia Mathematica |
2007-06-01 |
| Kurt Gödel: Wahrheit und Beweisbarkeit, Band 2: Kompendium zum Werk |
Bernd Buldt |
Hannes Leitgeb |
Philosophia Mathematica |
2007-06-01 |
| Kurt Gödel: Obras completas |
Kurt Gödel |
Ildefonso Murillo |
Diálogo Filosófico |
2006-09-01 |
| Gödel's Theorem: An Incomplete Guide to Its Use and Abuse |
Torkel Franzén |
Stewart Shapiro |
Philosophia Mathematica |
2006-06-01 |
| Incompleteness: The Proof and Paradox of Kurt Gödel |
Rebecca Goldstein |
Solomon Feferman |
London Review of Books |
2006-02-09 |
| Kurt Gödel: Collected Works, Volume IV: Correspondence A-G |
Solomon Feferman |
W W Tait |
Philosophia Mathematica |
2006-02-01 |
| Kurt Gödel: Collected Works, Volume V: Correspondence H-Z |
Solomon Feferman |
W W Tait |
Philosophia Mathematica |
2006-02-01 |
| Types, Tableaus, and Gödel's God |
Melvin Fitting |
Roderic A Girle |
Studia Logica |
2005-12-01 |
| Gödel's Theorem: An Incomplete Guide to Its Use and Abuse |
Torkel Franzén |
R Zach |
History and Philosophy of Logic |
2005-11-01 |
| Gödel |
P Cassou-Noguès |
Yvon Gauthier |
Philosophiques |
2005-03-01 |
| Kurt Gödel: Collected Works, Volume IV: Correspondence A-G |
Solomon Feferman |
Jan Von Plato |
The Bulletin of Symbolic Logic |
2004-12-01 |
| Kurt Gödel: Collected Works, Volume V: Correspondence H-Z |
Solomon Feferman |
Jan Von Plato |
The Bulletin of Symbolic Logic |
2004-12-01 |
| Kurt Gödel: Wahrheit und Beweisbarkeit, Band 1: Dokumente und historische Analysen |
Eckehart Köhler |
Matthias Wille |
The Bulletin of Symbolic Logic |
2004-06-01 |
| Kurt Gödel: Wahrheit und Beweisbarkeit, Band 2: Kompendium zum Werk |
Bernd Buldt |
Matthias Wille |
The Bulletin of Symbolic Logic |
2004-06-01 |
| Kurt Gödel: Collected Works, Volume V: Correspondence H-Z |
Solomon Feferman |
Leon Horsten |
Tijdschrift voor Filosofie |
2004-03-01 |
| Kurt Gödel: Collected Works, Volume IV: Correspondence A-G |
Solomon Feferman |
Leon Horsten |
Tijdschrift voor Filosofie |
2004-03-01 |
| Kurt Gödel: Collected Works, Volume IV: Correspondence A-G |
Solomon Feferman |
Paolo Mancosu |
Notre Dame Journal of Formal Logic |
2004-01-01 |
| Kurt Gödel: Collected Works, Volume IV: Correspondence A-G |
Solomon Feferman |
Roberto Torretti |
Revista de Filosofía: Universidad de Chile |
2004-01-01 |
| Kurt Gödel: Collected Works, Volume V: Correspondence H-Z |
Solomon Feferman |
Roberto Torretti |
Revista de Filosofía: Universidad de Chile |
2004-01-01 |
| Kurt Gödel: Collected Works, Volume V: Correspondence H-Z |
Solomon Feferman |
Paolo Mancosu |
Notre Dame Journal of Formal Logic |
2004-01-01 |
| Types, Tableaus, and Gödel's God |
Melvin Fitting |
J M Plotkin |
History and Philosophy of Logic |
2003-01-01 |
| Kurt Gödel: Wahrheit und Beweisbarkeit. Band 2: Kompendium zum Werk |
Kurt Gödel |
|
Süddeutsche Zeitung |
2002-10-05 |
| From Trotsky to Gödel. The Life of Jean van Heijenoort |
Anita Burdman Feferman |
H. B. Enderton |
The Bulletin of Symbolic Logic |
2002-03-00 |
| Gödel Meets Einstein: Time Travel in the Gödel Universe |
Palle Yourgrau |
Steven Weinstein |
The Philosophical Review |
2002-01-01 |
| The Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel |
I Grattan-Guinness |
Ignacio Jané |
History and Philosophy of Logic |
2002-01-01 |
| Gödel Meets Einstein: Time Travel in the Gödel Universe |
Palle Yourgrau |
Ahti Pietarinen |
The Review of Metaphysics |
2001-09-00 |
| The Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel |
I Grattan-Guinness |
Alasdair Urquhart |
Russell: The Journal of Bertrand Russell Studies |
2001-06-01 |
| Kurt Gödel: Collected Works, Volume III: Unpublished Essays and Lectures |
Solomon Feferman |
W W Tait |
Philosophia Mathematica |
2001-02-01 |
| Gödel Meets Einstein: Time Travel in the Gödel Universe |
Palle Yourgrau |
Steven Savitt |
Philosophy in Review |
2001-01-01 |
| A Logical Journey. From Gödel to Philosophy |
Hao Wang |
Sanford Shieh |
Erkenntnis |
2000-01-01 |
| Filosofické eseje |
Kurt Gödel |
Tomás Cana |
Filozofia |
2000-01-01 |
| Das logische Dilemma. Leben und Werk von Kurt Gödel |
John W. Dawson jr. |
|
Die Zeit |
1999-10-14 |
| Das logische Dilemma. Leben und Werk von Kurt Gödel |
John W. Dawson jr. |
|
Neue Zürcher Zeitung |
1999-10-12 |
| A Logical Journey. From Gödel to Philosophy |
Hao Wang |
Colin Howson |
Philosophy |
1998-07-01 |
| Gödel's incompleteness theorems |
V A Uspensky |
George Boolos |
The Journal of Symbolic Logic |
1995 |
| Kurt Gödel: Actes du Colloque |
D Miéville |
M Detlefsen |
History and Philosophy of Logic |
1994-01-01 |
| Gödel's Incompleteness Theorems |
Raymond M Smullyan |
A D Irvine |
History and Philosophy of Logic |
1994-01-01 |
| Il teorema di Gödel |
S G Shanker |
Dario Palladino |
Epistemologia: Rivista italiana di Filosofia della Scienza |
1993-07-01 |
| Collected works, Volume II, Publications 1938–1974, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr |
|
Georg Kreisel |
The Journal of Symbolic Logic |
1991 |
| Collected Works of Kurt Godel 1938-1974 |
Kurt Godel, Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort |
Georg Kreisel |
The Journal of Symbolic Logic |
1991 |
| Kurt Gödel: Collected Works, V2 |
Solomon Feferman |
G Kreisel |
Notre Dame Journal of Formal Logic |
1990-09-01 |
