Bibliography 1928. "On Hilbert's construction of the real numbers" in Jean van Heijenoort, ed., 1967. From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931. Harvard Univ. Press: 493–507. 1940. "Zur Widerspruchsfreiheit der Zahlentheorie", Mathematische Annalen, vol. 117, pp 162–194. 1950 (1928). (with David Hilbert) Principles of Mathematical Logic. Chelsea. Translation of 1938 German edition. 1954. Solvable cases of the decision problem. North Holland.
Bibliography 1928. "On Hilbert's construction of the real numbers" in Jean van Heijenoort, ed., 1967. From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931. Harvard Univ. Press: 493–507. 1940. "Zur Widerspruchsfreiheit der Zahlentheorie", Mathematische Annalen, vol. 117, pp 162–194. 1950 (1928). (with David Hilbert) Principles of Mathematical Logic. Chelsea. Translation of 1938 German edition. 1954. Solvable cases of the decision problem. North Holland.