Martin Davis. On formally undecidable propositions of the Principia Mathematica and related systems. I. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, p. 4. - Kurt Gödel. On formally undecidable propositions of Principia Mathematica and related systems I. English translation of 4183 by Elliott Mendelson. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 5–38. - Martin Davis. On undecidable propositions of formal mathematical systems. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 39–40. - Kurt Gödel. On undecidable propositions of formal mathematical systems. A revised reprint of 41814. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 41–71. (See corrigenda, p. 74.) - Kurt Gödel. Postscriptum. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 71–73. - Kurt Gödel. On intuitionistic arithmetic and number theory. English translation of 41811 by Martin Davis. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 75–81. - Kurt Gödel. On the length of proofs. English translation of I 116 by Martin Davis. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 82–83. - Kurt Gödel. Remarks before the Princeton Bicentennial Conference on Problems in Mathematics — 1946. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 84–88. [Cf. XII 89(2).] - Martin Davis. An unsolvable problem of elementary number theory. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, p. 88. - Alonzo Church. An unsolvable problem of elementary number theory. A reprint of I 73. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 89–107.