Kurt Gödel and the Foundations of MathematicsMatthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam₹4,263