Primary Source
Gödel, Kurt. Collected Works, Volume III: Unpublished Essays and Lectures, edited by Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Oxford: Oxford University Press, 1995.
Secondary Sources
Nagel, Ernest, and James R. Newman. Gödel’s Proof. New York: New York University Press, 1958.
Smith, Peter. An Introduction to Gödel’s Theorems. 2nd ed. Cambridge: Cambridge University Press, 2013.
Shapiro, Stewart. Thinking about Mathematics. Oxford: Oxford University Press, 2000.
Site Title 