GENERAL. The Gödel editorial project : a synopsis / Solomon Feferman
Future tasks for Gödel scholars / John W. Dawson, Jr., and Cheryl A. Dawson
PROOF THEORY. Gödel and the metamathematical tradition / Jeremy Avigad
Only two letters : the correspondence between Herbrand and Gödel / Wilfried Sieg
Gödel's reformulation of Gentzen's first consistency proof for arithmetic : the no-counterexample interpretation / W. W. Tait
Gödel on intuition and on Hilbert's finitism / W. W. Tait
The Gödel hierarchy and reverse mathematics / Stephen G. Simpson
On the outside looking in : a caution about conservativeness / John P. Burgess
SET THEORY. Gödel and set theory / Akihiro Kanamori
Generalizations of Gödel's universe of constructible sets / Sy-David Friedman
On the question of absolute undecidability / Peter Koellner
PHILOSOPHY OF MATHEMATICS. What did Gödel believe and when did he believe it? / Martin Davis
On Gödel's way in : the influence of Rudolf Carnap / Warren Goldfarb
Gödel and Carnap / Steve Awodey and A.W. Carus
On the philosophical development of Kurt Gödel / Mark van Atten and Juliette Kennedy
Platonism and mathematical intuition in Kurt Gödel's thought / Charles Parsons
Gödel's conceptual realism / Donald A. Martin.
OBNB doesn't sell books, but you may be able to find a copy at one of these websites:
Kurt Gödel : essays for his centennial. ISBN 9780521115148. Published by Cambridge University Press in 2010. Publication and catalogue information, links to buy online and reader comments.
