Review: Alonzo Church, Binary Recursive Arithmetic [Book Review]

Journal of Symbolic Logic 23 (1):35-35 (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964463

Links

PhilArchive



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

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: Alonzo Church, Laszlo Kalmar, An Independence Question in Recursive Arithmetic. [REVIEW]Julia Robinson - 1971 - Journal of Symbolic Logic 36 (4):692-693.
Review: Alonzo Church, Application of Recursive Arithmetic to the Problem of Circuit Synthesis. [REVIEW]Joyce Friedman - 1963 - Journal of Symbolic Logic 28 (4):289-290.
Review: S. C. Kleene, A note on recursive functions. [REVIEW]Alonzo Church - 1936 - Journal of Symbolic Logic 1 (3):119-119.
Review: S. C. Kleene, Recursive Predicates and Quantifiers. [REVIEW]Alonzo Church - 1943 - Journal of Symbolic Logic 8 (1):32-34.
Review: A. A. Markov, On the Representation of Recursive Functions. [REVIEW]Alonzo Church - 1952 - Journal of Symbolic Logic 17 (1):72-73.
Polynomially Bounded Recursive Realizability.Saeed Salehi - 2005 - Notre Dame Journal of Formal Logic 46 (4):407-417.
On the contrapositive of countable choice.Hajime Ishihara & Peter Schuster - 2011 - Archive for Mathematical Logic 50 (1-2):137-143.
Review: Garrett Birkhoff, An Extended Arithmetic; Garrett Birkhoff, Generalized Arithmetic. [REVIEW]Alonzo Church - 1942 - Journal of Symbolic Logic 7 (3):125-126.
Review: Richard M. Friedberg, 4-Quantifier Completeness: A Banach-Mazur Functional not Uniformly Partial Recursive. [REVIEW]Alonzo Church - 1959 - Journal of Symbolic Logic 24 (1):52-52.
Review: Joyce Friedman, Some Results in Church's Restricted Recursive Arithmetic. [REVIEW]Robert McNaughton - 1959 - Journal of Symbolic Logic 24 (3):241-242.
Review: Alonzo Church, Logic, Arithmetic, and Automata. [REVIEW]J. Richard Buchi - 1964 - Journal of Symbolic Logic 29 (4):210-210.
Weak theories of nonstandard arithmetic and analysis.Jeremy Avigad - manuscript
Recursive versus recursively enumerable binary relations.Dev K. Roy - 1993 - Studia Logica 52 (4):587 - 593.

Analytics

Added to PP
2013-11-22

Downloads
10 (#1,186,283)

6 months
8 (#351,566)

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