Reuben Louis Goodstein

Goodstein, Reuben Louis. 1954. “The Recursive Irrationality of ‘P’ .” The Journal of Symbolic Logic 19: 267–274.

Goodstein, Reuben Louis. 1957. Recursive Number Theory. A Development of Recursive Arithmetic in a Logic-Free Equation Calculus. Studies in Logic and the Foundations of Mathematics n. 20. Amsterdam: North-Holland Publishing Co.

Goodstein, Reuben Louis. 1958a. “On the Nature of Mathematical Systems.” Dialectica 12(47–48): 296–316.

Goodstein, Reuben Louis. 1958b. “On the Formalisation of Indirect Discourse.” The Journal of Symbolic Logic 23: 417–419.

Goodstein, Reuben Louis. 1961. Recursive Analysis. Studies in Logic and the Foundations of Mathematics n. 29. Amsterdam: North-Holland Publishing Co.

Goodstein, Reuben Louis. 1962. “The Foundations of Mathematics.” Proceedings of the Aristotelian Society, Supplementary Volume 36: 145–154.

Goodstein, Reuben Louis. 1963. “Review of Gödel (1931).” Philosophical Books 4(1): 17–18.

Goodstein, Reuben Louis. 1965. “Multiple Successor Arithmetics.” in Formal Systems and Recursive Functions (Proceedings of the Eighth Logic Colloquium, Oxford, July 1963), edited by John Newsome Crossley and Michael A. E. Dummett, pp. 265–271. Studies in Logic and the Foundations of Mathematics n. 40. Amsterdam: North-Holland Publishing Co.

Goodstein, Reuben Louis. 1969. “Empiricism in Mathematics.” Dialectica 23(1): 50–57.

Goodstein, Reuben Louis. 1979. “Post Principia.” in Bertrand Russell Memorial Volume, edited by George W. Roberts, pp. 128–137. London: George Allen & Unwin.

Gödel, Kurt. 1931. “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.” Monatshefte für Mathematik und Physik 38: 173–198. English translation in van Heijenoort (1967, 596–616); reprinted in Gödel (1986, 145–195), doi:10.1007/BF01700692.

Gödel, Kurt. 1986. Collected Works. Volume I: Publications 1929–1936. Oxford: Oxford University Press. Edited by Solomon Feferman, John W. Dawson, Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay and Jean van Heijenoort, doi:10.1093/oso/9780195147209.001.0001.

van Heijenoort, Jan, ed. 1967. From Frege to Gödel: A Source Book in Mathematical Logic 1879-1931. Cambridge, Massachusetts: Harvard University Press.