Review: R. L. Goodstein, Logic-free Formalisations of Recursive Arithmetic [Book Review]

Journal of Symbolic Logic 24 (3):245-246 (1959)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963833

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,532

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: R. L. Goodstein, Recursive Number Theory. A Development of Recursive Arithmetic in a Logic-Free Equation Calculus. [REVIEW]Th Skolem - 1958 - Journal of Symbolic Logic 23 (2):227-228.
Review: H. A. Pogorzelski, Recursive Arithmetic of Skolem. [REVIEW]R. L. Goodstein - 1964 - Journal of Symbolic Logic 29 (2):101-102.
Review: R. L. Goodstein, A Decidable Fragment of Recursive Arithmetic. [REVIEW]V. Vuckovic - 1968 - Journal of Symbolic Logic 33 (4):618-618.
Review: R. L. Goodstein, R. D. Lee, A Decidable Class of Equations in Recursive Arithmetic. [REVIEW]V. Vuckovic - 1968 - Journal of Symbolic Logic 33 (4):618-619.
Review: R. L. Goodstein, Models of Propositional Calculi in Recursive Arithmetic. [REVIEW]Andrzej Mostowski - 1963 - Journal of Symbolic Logic 28 (4):291-291.
A Decidable Fragment of Recursive Arithmetic.R. L. Goodstein - 1963 - Mathematical Logic Quarterly 9 (12‐15):199-201.
Minimal realizability of intuitionistic arithmetic and elementary analysis.Zlatan Damnjanovic - 1995 - Journal of Symbolic Logic 60 (4):1208-1241.
Extensions of arithmetic for proving termination of computations.Clement F. Kent & Bernard R. Hodgson - 1989 - Journal of Symbolic Logic 54 (3):779-794.
A Decidable Class of Equations in Recursive Arithmetic.R. L. Goodstein & R. D. Lee - 1966 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 12 (1):235-239.
On the Equivalence Between Logic‐Free and Logic‐Bearing Systems of Primitive Recursive Arithmetic.Daniel G. Schwartz - 1987 - Mathematical Logic Quarterly 33 (3):245-253.
Review: R. L. Goodstein, The Recursive Irrationality of $pi$. [REVIEW]A. Nerode - 1960 - Journal of Symbolic Logic 25 (2):166-167.
Polynomially Bounded Recursive Realizability.Saeed Salehi - 2005 - Notre Dame Journal of Formal Logic 46 (4):407-417.
Review: R. L. Goodstein, Recursive Analysis. [REVIEW]James R. Guard - 1962 - Journal of Symbolic Logic 27 (2):244-245.
Review: R. L. Goodstein, J. Hooley, On Recursive Transcendence. [REVIEW]John Staples - 1970 - Journal of Symbolic Logic 35 (2):335-335.
Review: R. L. Goodstein, Transfinite Ordinals in Recursive Number Theory. [REVIEW]David Nelson - 1948 - Journal of Symbolic Logic 13 (3):171-171.

Analytics

Added to PP
2013-11-22

Downloads
1 (#1,898,028)

6 months
1 (#1,470,413)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references