Review: J. R. Myhill, Three Contributions to Recursive Function Theory [Book Review]

Journal of Symbolic Logic 20 (2):176-177 (1955)
  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,349

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: John Myhill, Recursive Function Theory. [REVIEW]Erik Ellentuck - 1968 - Journal of Symbolic Logic 33 (4):619-620.
Recursive analysis.R. L. Goodstein - 1961 - Mineola, N.Y.: Dover Publications.
Review: R. M. Martin, A Note on Nominalism and Recursive Functions. [REVIEW]John Myhill - 1950 - Journal of Symbolic Logic 15 (2):153-153.
Review: John Myhill, Recursive Digraphs, Splinters, and Cylinders. [REVIEW]A. Nerode - 1960 - Journal of Symbolic Logic 25 (4):361-362.
Review: John Myhill, Recursive Equivalence Types and Combinatorial Functions. [REVIEW]J. C. E. Dekker - 1966 - Journal of Symbolic Logic 31 (3):510-511.
Review: J. Myhill, J. C. Shepherdson, Effective Operations on Partial Recursive Functions. [REVIEW]J. C. E. Dekker - 1957 - Journal of Symbolic Logic 22 (3):303-303.
Effective coloration.Dwight R. Bean - 1976 - Journal of Symbolic Logic 41 (2):469-480.
Review: Martin Davis, Application of Recursive Function Theory to Number Theory. [REVIEW]Julia Robinson - 1972 - Journal of Symbolic Logic 37 (3):602-602.
The Computation of Partial Recursive Word‐Functions Without Read Instructions.Holger Petersen - 1996 - Mathematical Logic Quarterly 42 (1):312-318.
Effective operations on partial recursive functions.J. Myhill & J. C. Shepherdson - 1955 - Mathematical Logic Quarterly 1 (4):310-317.
Review: H. B. Enderton, Hierarchies in Recursive Function Theory. [REVIEW]Gustav Hensel - 1966 - Journal of Symbolic Logic 31 (2):262-263.
Handbook of recursive mathematics.IUrii Leonidovich Ershov (ed.) - 1998 - New York: Elsevier.
Review: Webb Miller, Recursive Function Theory and Numerical Analysis. [REVIEW]J. P. Cleave - 1974 - Journal of Symbolic Logic 39 (2):346-346.

Analytics

Added to PP
2013-11-22

Downloads
8 (#1,283,306)

6 months
4 (#818,853)

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