Feferman, S. [et al.] eds Kurt Godel Collected works - V. 2 - New York Oxford University Press 1990 - xiv, 407p. ISBN: 0-19-503972-6