Праці Gödel, K. Collected Works. Vol. I. Publications 1929—1936. ― Oxford: Oxford University Press, 1986. Gödel, K. Collected Works. Vol. II. Publications 1938—1974. ― Oxford: Oxford University Press, 1990.