Kurt Godel: essays for his centennial - Stephen G Simpson (ed.); Charles Parsons (ed.); Soloman Feferman (ed.) (New York: Cambridge University Press, 2010)
Keywords: Mathematical Theories; Mathematics; Science