Kurt Gödel and the foundations of mathematics : horizons of truth - Baaz, Matthias, 1960- (Cambridge University Press, 2011)