Review: Raphael M. Robinson, Primitive Recursive Functions [Book Review]

Journal of Symbolic Logic 13 (2):113-114 (1948)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267333

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: Raphael M. Robinson, Primitive Recursive Functions. II. [REVIEW]Rózsa Péter - 1957 - Journal of Symbolic Logic 22 (4):375-376.
Unary primitive recursive functions.Daniel E. Severin - 2008 - Journal of Symbolic Logic 73 (4):1122-1138.
Review: Julia Robinson, A Note on Primitive Recursive Functions. [REVIEW]Rózsa Péter - 1957 - Journal of Symbolic Logic 22 (4):376-376.
The Ackermann functions are not optimal, but by how much?H. Simmons - 2010 - Journal of Symbolic Logic 75 (1):289-313.
Some Hierarchies of Primitive Recursive Functions on Term Algebras.Klaus-Hilmar Sprenger - 1997 - Mathematical Logic Quarterly 43 (2):251-286.
Polynomially Bounded Recursive Realizability.Saeed Salehi - 2005 - Notre Dame Journal of Formal Logic 46 (4):407-417.
Finitary Set Theory.Laurence Kirby - 2009 - Notre Dame Journal of Formal Logic 50 (3):227-244.
Review: Raphael M. Robinson, The Undecidability of Pure Transcendental Extensions of Real fields; Raphael M. Robinson, M. A. Tajclin, The Undecidability of the Elementary Theory of the Field of Rational Functions of One Variable with Rational Coefficients. [REVIEW]Benjamin Franklin Wells - 1966 - Journal of Symbolic Logic 31 (2):254-255.
Ramsey's Theorem for Pairs and Provably Recursive Functions.Alexander Kreuzer & Ulrich Kohlenbach - 2009 - Notre Dame Journal of Formal Logic 50 (4):427-444.
On nested simple recursion.Ján Komara - 2011 - Archive for Mathematical Logic 50 (5-6):617-624.
Fragments of $HA$ based on $\Sigma_1$ -induction.Kai F. Wehmeier - 1997 - Archive for Mathematical Logic 37 (1):37-49.
Review: Raphael M. Robinson, Binary Relations as Primitive Notions in Elementary Geometry. [REVIEW]L. W. Szczerba - 1970 - Journal of Symbolic Logic 35 (1):148-148.
A proof-theoretic characterization of the primitive recursive set functions.Michael Rathjen - 1992 - Journal of Symbolic Logic 57 (3):954-969.

Analytics

Added to PP
2013-11-22

Downloads
32 (#495,641)

6 months
1 (#1,470,413)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Quinean scepticism about de re modality after David Lewis.John Divers - 2007 - European Journal of Philosophy 15 (1):40–62.
Quinean Scepticism About De Re Modality After David Lewis.John Divers - 2007 - European Journal of Philosophy 15 (1):40-62.

Add more citations

References found in this work

No references found.

Add more references