Review: Ann Yasuhara, Recursive Function Theory and Logic [Book Review]

Journal of Symbolic Logic 40 (4):619-620 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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: Martin Davis, Application of Recursive Function Theory to Number Theory. [REVIEW]Julia Robinson - 1972 - Journal of Symbolic Logic 37 (3):602-602.
Review: John Myhill, Recursive Function Theory. [REVIEW]Erik Ellentuck - 1968 - Journal of Symbolic Logic 33 (4):619-620.
Review: J. R. Myhill, Three Contributions to Recursive Function Theory. [REVIEW]Norman Shapiro - 1955 - Journal of Symbolic Logic 20 (2):176-177.
Review: H. B. Enderton, Hierarchies in Recursive Function Theory. [REVIEW]Gustav Hensel - 1966 - Journal of Symbolic Logic 31 (2):262-263.
Review: R. L. Goodstein, Recursive Number Theory. A Development of Recursive Arithmetic in a Logic-Free Equation Calculus. [REVIEW]Th Skolem - 1958 - Journal of Symbolic Logic 23 (2):227-228.
Review: Webb Miller, Recursive Function Theory and Numerical Analysis. [REVIEW]J. P. Cleave - 1974 - Journal of Symbolic Logic 39 (2):346-346.
Review: Nigel Cutland, Computability. An Introduction to Recursive Function Theory. [REVIEW]H. B. Enderton - 1987 - Journal of Symbolic Logic 52 (1):292-293.
The Computation of Partial Recursive Word‐Functions Without Read Instructions.Holger Petersen - 1996 - Mathematical Logic Quarterly 42 (1):312-318.
Effective coloration.Dwight R. Bean - 1976 - Journal of Symbolic Logic 41 (2):469-480.
Review: Manuel Blum, Recursive Function Theory and Speed of Computation. [REVIEW]Paul Young - 1972 - Journal of Symbolic Logic 37 (1):199-199.
Tarski's theory of definability: common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic.J. W. Addison - 2004 - Annals of Pure and Applied Logic 126 (1-3):77-92.
Recursive analysis.R. L. Goodstein - 1961 - Mineola, N.Y.: Dover Publications.

Analytics

Added to PP
2013-11-22

Downloads
17 (#865,183)

6 months
3 (#965,065)

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