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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

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, Function Theory in an Axiom-free Equation Calculus. [REVIEW]J. C. C. McKinsey - 1946 - Journal of Symbolic Logic 11 (1):24-26.
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.
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.
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.
Review: R. L. Goodstein, Logic-free Formalisations of Recursive Arithmetic. [REVIEW]Rózsa Péter - 1959 - Journal of Symbolic Logic 24 (3):245-246.
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.. Transfinite ordinals in recursive number theory.David Nelson - 1948 - Journal of Symbolic Logic 13 (3):171-171.
Review: R. L. Goodstein, Constructive Formalism. Essays on the Foundations of Mathematics; R. L. Goodstein, The Foundations of Mathematics. [REVIEW]John Myhill - 1953 - Journal of Symbolic Logic 18 (3):258-260.
Review: R. L. Goodstein, Transfinite Ordinals in Recursive Number Theory. [REVIEW]David Nelson - 1948 - Journal of Symbolic Logic 13 (3):171-171.
Review: R. L. Goodstein, Mathematical Logic. [REVIEW]Alan Ross Anderson - 1963 - Journal of Symbolic Logic 28 (1):98-99.

Analytics

Added to PP
2015-02-05

Downloads
14 (#994,967)

6 months
1 (#1,723,047)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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