Kurt Godel and the foundations of mathematics horizons of truth - Baaz Matthias; Harper Jr Charles L; Papadimitriou Christos H; Putnam Hilary W; Scott Dana S (Cambridge CUP, 2011)
Keywords: Godel Kurt; Godel's theorem; Mathematics-philosophy