Collected Works: Volume II: Publications 1938-1974

by (author) Kurt Gödel
edited by S. Feferman, John W. Dawson, Stephen C. Kleene, G. Moore, R. Solovay & Jean van Heijenoort