Kurt Gödel and the foundations of mathematics horizons of truth - Baaz, Matthias 1960-; Papadimitriou, Christos H. 1949-; Putnam, Hilary 1926-2016; Scott, Dana S. 1932-; Harper. Charles L. Jr (Cambridge University Press, 2011)