Kurt Godel: Collected Works: Volume V - Kurt Godel-Solomon Feferman-John W. Dawson Jr-Warren Goldfarb-Charles Parsons-Wilfried Sieg (OUP Oxford, 2013)
Keywords: History & Philosophy; Logic, Symbolic and mathematical; MATHEMATICS