Application of Recursive Arithmetic to the Problem of Circuit Synthesis

Journal of Symbolic Logic 28 (4):289-290 (1963)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271310

Links

PhilArchive



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

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, Application of Recursive Arithmetic to the Problem of Circuit Synthesis. [REVIEW]Joyce Friedman - 1963 - Journal of Symbolic Logic 28 (4):289-290.
Weak theories of nonstandard arithmetic and analysis.Jeremy Avigad - manuscript
Polynomially Bounded Recursive Realizability.Saeed Salehi - 2005 - Notre Dame Journal of Formal Logic 46 (4):407-417.
Minimal realizability of intuitionistic arithmetic and elementary analysis.Zlatan Damnjanovic - 1995 - Journal of Symbolic Logic 60 (4):1208-1241.
Recursive Models and the Divisibility Poset.James H. Schmerl - 1998 - Notre Dame Journal of Formal Logic 39 (1):140-148.
On the Difficulty of Writing Out formal Proofs in Arithmetic.Ryo Kashima & Takeshi Yamaguchi - 1997 - Mathematical Logic Quarterly 43 (3):328-332.
Lifschitz' realizability.Jaap van Oosten - 1990 - Journal of Symbolic Logic 55 (2):805-821.
On the contrapositive of countable choice.Hajime Ishihara & Peter Schuster - 2011 - Archive for Mathematical Logic 50 (1-2):137-143.
Binary Recursive Arithmetic.Alonzo Church - 1958 - Journal of Symbolic Logic 23 (1):35-35.
On a Theory for AC0 and the Strength of the Induction Scheme.Satoru Kuroda - 1998 - Mathematical Logic Quarterly 44 (3):417-426.
Expansions, omitting types, and standard systems.Fredrik Engström - 2004 - Dissertation, Chalmers
The complexity of recursive constraint satisfaction problems.Victor W. Marek & Jeffrey B. Remmel - 2010 - Annals of Pure and Applied Logic 161 (3):447-457.
Review: Alonzo Church, Binary Recursive Arithmetic. [REVIEW]Julia Robinson - 1958 - Journal of Symbolic Logic 23 (1):35-35.
An Independence Question in Recursive Arithmetic.Alonzo Church & Laszlo Kalmar - 1971 - Journal of Symbolic Logic 36 (4):692-693.
The Philosophy of Arithmetic as Developed From the Three Fundamental Processes of Synthesis, Analysis and Comparison, Containing Also a History of Arithmetic.Edward Brooks - 1880 - Normal Pub. Co.

Analytics

Added to PP
2015-02-05

Downloads
159 (#115,851)

6 months
32 (#100,094)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Weak Second‐Order Arithmetic and Finite Automata.J. Richard Büchi - 1960 - Mathematical Logic Quarterly 6 (1-6):66-92.
DEL-sequents for progression.Guillaume Aucher - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):289-321.
A Vindication of Program Verification.Selmer Bringsjord - 2015 - History and Philosophy of Logic 36 (3):262-277.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references