Kurt Gödel and the Foundations of Mathematics - Edited by Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper, Jr (Cambridge University Press, 2011)