Propositions of Principia Mathematica and Related Systems. Translation of the German original by Kurt Gödel, 1931. Basic Books, 1962. Reprinted, Dover, 1992. . Raymond Smullyan (1966). Review of On Formally Undecidable Propositions of Principia Mathematica and Related Systems. The American Mathematical Monthly, Vol. 73, No. 3. (March 1966), pp. 319–322. John W. Dawson, (1997). Logical Dilemmas: The Life and Work of Kurt Gödel, A. K. Peters, Wellesley, Massachusetts. . External links "On formally undecidable propositions of Principia Mathematica and related systems I". Translated by Martin Hirzel, November 27, 2000. "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I" on Wilhelm K. Essler's (Prof. em. of Logic, Goethe-Universität Frankfurt am Main) webpage Mathematical logic Mathematics papers 1931 in science 1931 documents Works originally published in German magazines Works originally published in science and technology magazines Logic literature Works by Kurt Gödel