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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,369

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

Church Alonzo. Application of recursive arithmetic to the problem of circuit synthesis Summaries of talks presented at the Summer Institute for Symbolic Logic Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N. J., 1960, pp. 3–50. 3a-45a. [REVIEW]Joyce Friedman - 1963 - Journal of Symbolic Logic 28 (4):289-290.
Church Alonzo. Binary recursive arithmetic. Journal de mathématiques pures et appliquées, ser. 9 vol. 36 , pp. 39–55.Julia Robinson - 1958 - Journal of Symbolic Logic 23 (1):35-35.
Review: Alonzo Church, Logic, Arithmetic, and Automata. [REVIEW]J. Richard Buchi - 1964 - Journal of Symbolic Logic 29 (4):210-210.
Church Alonzo. An independence question in recursive arithmetic. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, edited by László Kalmár, Akadémiai Kiadó, Budapest 1965, pp. 21–26. [REVIEW]Julia Robinson - 1971 - Journal of Symbolic Logic 36 (4):692-693.
On a Problem of J. H. C. Whitehead and a Problem of Alonzo Church.William W. Boone & Hartley Rogers - 1969 - Journal of Symbolic Logic 34 (3):506-507.
Review: Alonzo Church, A Note on the Entscheidungs Problem.Paul Bernays - 1936 - Journal of Symbolic Logic 1 (2):74-74.

Analytics

Added to PP
2015-02-05

Downloads
219 (#117,646)

6 months
44 (#105,619)

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