"Collected works. Publications 1938-1974" - читать интересную книгу автора (Kurt Gödel, S. Feferman, John W. Dawson Jr., Stephen C. Kleene, G. Moore, R....)