Review: S. C. Kleene, General Recursive Functions of Natural Numbers [Book Review]

Journal of Symbolic Logic 2 (1):38-38 (1937)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200039499

Links

PhilArchive



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

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

Real numbers and functions in the Kleene hierarchy and limits of recursive, rational functions.N. Z. Shapiro - 1969 - Journal of Symbolic Logic 34 (2):207-214.
Computability of Real Numbers by Using a Given Class of Functions in the Set of the Natural Numbers.Dimiter Skordev - 2002 - Mathematical Logic Quarterly 48 (S1):91-106.
Monoidal categories with natural numbers object.Robert Paré & Leopoldo Román - 1989 - Studia Logica 48 (3):361 - 376.
Review: S. C. Kleene, A note on recursive functions. [REVIEW]Alonzo Church - 1936 - Journal of Symbolic Logic 1 (3):119-119.
Polynomially Bounded Recursive Realizability.Saeed Salehi - 2005 - Notre Dame Journal of Formal Logic 46 (4):407-417.
Review: S. C. Kleene, Recursive Functions and Intuitionistic Mathematics. [REVIEW]Andrzej Mostowski - 1953 - Journal of Symbolic Logic 18 (2):181-182.
An invariance notion in recursion theory.Robert E. Byerly - 1982 - Journal of Symbolic Logic 47 (1):48-66.
Accessible recursive functions.Stanley S. Wainer - 1999 - Bulletin of Symbolic Logic 5 (3):367-388.
Review: Rozsa Peter, Contribution to Recursive Number Theory. [REVIEW]S. C. Kleene - 1940 - Journal of Symbolic Logic 5 (2):70-71.
Review: S. C. Kleene, On Notation for Ordinal Numbers. [REVIEW]Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (2):93-94.
Computability & unsolvability.Martin Davis - 1958 - New York: Dover Publications.
Fragments of $HA$ based on $\Sigma_1$ -induction.Kai F. Wehmeier - 1997 - Archive for Mathematical Logic 37 (1):37-49.
Review: S. C. Kleene, Countable Functionals; S. C. Kleene, Recursive Functionals of Higher Finite Types. [REVIEW]Donald L. Kreider - 1962 - Journal of Symbolic Logic 27 (3):359-360.
Review: Gaisi Takeuti, On the Recursive Functions of Ordinal Numbers. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):88-88.
The hereditary partial effective functionals and recursion theory in higher types.G. Longo & E. Moggi - 1984 - Journal of Symbolic Logic 49 (4):1319-1332.

Analytics

Added to PP
2013-11-22

Downloads
16 (#906,812)

6 months
2 (#1,198,900)

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