Function Theory in an Axiom-free Equation Calculus

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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,225

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

Goodstein R. L.. Function theory in an axiom-free equation calculus. Proceedings of the London Mathematical Society, ser. 2 vol. 48 part 6 , pp. 401–434. [REVIEW]J. C. C. McKinsey - 1946 - Journal of Symbolic Logic 11 (1):24-26.
Goodstein R. L.. Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1957, XII + 190 pp. [REVIEW]Th Skolem - 1958 - Journal of Symbolic Logic 23 (2):227-228.
Goodstein R. L.. Transfinite ordinals in recursive number theory.David Nelson - 1948 - Journal of Symbolic Logic 13 (3):171-171.
Goodstein R. L.. Logic-free formalisations of recursive arithmetic. Mathematica Scandinavica, Bd. 2 , S. 247–261.Rózsa Péter - 1959 - Journal of Symbolic Logic 24 (3):245-246.
Goodstein R. L.. On the restricted ordinal theorem.Hugo Ribeiro - 1945 - Journal of Symbolic Logic 10 (3):104-105.
Goodstein R. L.. The recursive irrationality of π.A. Nerode - 1960 - Journal of Symbolic Logic 25 (2):166-167.
Recursive Number Theory. A Development of Recursive Arithmetic in a Logic-Free Equation Calculus.R. L. Goodstein - 1958 - Journal of Symbolic Logic 23 (2):227-228.

Analytics

Added to PP
2015-02-05

Downloads
20 (#1,038,527)

6 months
4 (#1,247,093)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Tba.Juliet Floyd - 2016 - Nordic Wittgenstein Review 5 (2):7-89.
Wittgenstein and finitism.Mathieu Marion - 1995 - Synthese 105 (2):141 - 176.
On the Concept of Finitism.Luca Incurvati - 2015 - Synthese 192 (8):2413-2436.
A Simple Proof of Parsons' Theorem.Fernando Ferreira - 2005 - Notre Dame Journal of Formal Logic 46 (1):83-91.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references