Hartley RogersJr., Gödel numberings of partial recursive functions. The journal of symbolic logic, vol. 23 no. 3 , pp. 331–341

Journal of Symbolic Logic 29 (3):146 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271638

Other Versions

No versions found

Links

PhilArchive



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

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: Hartley Rogers, Godel Numberings of Partial Recursive Functions. [REVIEW]Martin Davis - 1964 - Journal of Symbolic Logic 29 (3):146-146.
Gödel numberings of partial recursive functions.Hartley Rogers - 1958 - Journal of Symbolic Logic 23 (3):331-341.
Hartley RogersJr., On universal functions. Proceedings of the American Mathematical Society, vol. 16 , pp. 39–44.C. E. M. Yates - 1966 - Journal of Symbolic Logic 31 (3):513-513.
Rogers Hartley Jr., Recursive functions over well-ordered partial orderings. Proceedings of the American Mathematical Society, vol. 10 , pp. 847–853. [REVIEW]J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (1):83-84.
Hartley RogersJr., An example in mathematical logic. The American mathematical monthly, vol. 70 , pp. 929–945.William E. Gould - 1972 - Journal of Symbolic Logic 37 (3):616-617.
Martin Davis and Hilary Putnam. Reductions of Hilbert's tenth problem. The Journal of symbolic logic, vol. 23 no. 2 , pp. 183–187.Julia Robinson - 1972 - Journal of Symbolic Logic 37 (3):601.
The Present Theory of Turing Machine Computability.C. E. M. Yates - 1966 - Journal of Symbolic Logic 31 (3):513.

Analytics

Added to PP
2013-11-22

Downloads
18 (#1,125,631)

6 months
6 (#901,624)

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