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