Review: R. L. Goodstein, Function Theory in an Axiom-free Equation Calculus [Book Review]

Journal of Symbolic Logic 11 (1):24-26 (1946)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269167

Links

PhilArchive



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

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.
On Limiting the Applications of the Uniqueness Rules in The Equation Calculus.R. Louis Goodstein - 1973 - Mathematical Logic Quarterly 19 (8‐10):115-116.
Extensions of arithmetic for proving termination of computations.Clement F. Kent & Bernard R. Hodgson - 1989 - Journal of Symbolic Logic 54 (3):779-794.
Review: J. C. Shepherdson, A Non-Standard Model for a Free Variable Fragment of Number Theory. [REVIEW]R. L. Goodstein - 1965 - Journal of Symbolic Logic 30 (3):389-390.
Intensional models for the theory of types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.
Product-free Lambek calculus and context-free grammars.Mati Pentus - 1997 - Journal of Symbolic Logic 62 (2):648-660.
A cut-free simple sequent calculus for modal logic S5.Francesca Poggiolesi - 2008 - Review of Symbolic Logic 1 (1):3-15.
The Axiom of Choice in Quantum Theory.Norbert Brunner, Karl Svozil & Matthias Baaz - 1996 - Mathematical Logic Quarterly 42 (1):319-340.
Higher order probabilities and coherence.Soshichi Uchii - 1973 - Philosophy of Science 40 (3):373-381.
Self-verifying axiom systems, the incompleteness theorem and related reflection principles.Dan Willard - 2001 - Journal of Symbolic Logic 66 (2):536-596.
A problem in recursive function theory.R. L. Goodstein - 1953 - Journal of Symbolic Logic 18 (3):225-232.
Stable Autosoliton of the Action Function as a Particle-Type Structure.D. V. Strunin - 2000 - Foundations of Physics 30 (6):933-949.
Gödel axiom mappings in special relativity and quantum-electromagnetic theory.William M. Honig - 1976 - Foundations of Physics 6 (1):37-57.

Analytics

Added to PP
2013-11-22

Downloads
11 (#1,120,716)

6 months
1 (#1,498,742)

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