Kurt Gödel and the Foundations of Mathematics : Horizons of Truth - Matthias Baaz; Christos H. Papadimitriou; Hilary W. Putnam; Dana S. Scott; Charles L. Harper, Jr (2011)