Review: David Nelson, Recursive Functions and Intuitionistic Number Theory [Book Review]

Journal of Symbolic Logic 12 (3):93-94 (1947)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267222

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: S. C. Kleene, Recursive Functions and Intuitionistic Mathematics. [REVIEW]Andrzej Mostowski - 1953 - Journal of Symbolic Logic 18 (2):181-182.
Minimal realizability of intuitionistic arithmetic and elementary analysis.Zlatan Damnjanovic - 1995 - Journal of Symbolic Logic 60 (4):1208-1241.
Review: R. L. Goodstein, Transfinite Ordinals in Recursive Number Theory. [REVIEW]David Nelson - 1948 - Journal of Symbolic Logic 13 (3):171-171.
Recursive functionals.Luis E. Sanchis - 1992 - New York: North-Holland.
Church's thesis, continuity, and set theory.M. Beeson & A. Ščedrov - 1984 - Journal of Symbolic Logic 49 (2):630-643.
Fragments of $HA$ based on $\Sigma_1$ -induction.Kai F. Wehmeier - 1997 - Archive for Mathematical Logic 37 (1):37-49.
Review: Robert R. Tompkins, On Kleene's Recursive Realizability as an Interpretation for Intuitionistic Elementary Number Theory. [REVIEW]R. E. Vesley - 1970 - Journal of Symbolic Logic 35 (3):475-475.
Accessible recursive functions.Stanley S. Wainer - 1999 - Bulletin of Symbolic Logic 5 (3):367-388.
The foundations of intuitionistic mathematics.Stephen Cole Kleene - 1965 - Amsterdam,: North-Holland Pub. Co.. Edited by Richard Eugene Vesley.
Review: S. C. Kleene, On the Interpretation of Intuitionistic Number Theory. [REVIEW]Andkzej Mostowski - 1947 - Journal of Symbolic Logic 12 (3):91-93.
Review: David Slepian, On the Number of Symmetry Types of Boolean Functions of $n$ Variables. [REVIEW]Raymond J. Nelson - 1955 - Journal of Symbolic Logic 20 (1):70-70.
Theory of recursive functions and effective computability.Hartley Rogers - 1987 - Cambridge, Mass.: MIT Press.
A Conjecture on Numeral Systems.Karim Nour - 1997 - Notre Dame Journal of Formal Logic 38 (2):270-275.
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.

Analytics

Added to PP
2013-11-22

Downloads
4 (#1,616,722)

6 months
1 (#1,472,167)

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