Kurt Godel: essays for his centennial - Soloman Feferman (ed.) (Cambridge University Press, 2010)