Julia Robinson. Recursive functions of one variable. Proceedings of the American Mathematical Society, vol. 19 , pp. 815–820 [Book Review]

Journal of Symbolic Logic 35 (3):476 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270746

Links

PhilArchive



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

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

Robinson Julia. General recursive functions. Proceedings of the American Mathematical Society, vol. 1 no. 6 , pp. 703–718. [REVIEW]Martin Davis - 1951 - Journal of Symbolic Logic 16 (4):280-280.
Davis Martin. Applications of recursive function theory to number theory. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 135–138. [REVIEW]Julia Robinson - 1972 - Journal of Symbolic Logic 37 (3):602-602.
Review: Julia Robinson, Recursive Functions of One Variable. [REVIEW]Martin Davis - 1970 - Journal of Symbolic Logic 35 (3):476-476.
Recursive Functions of One Variable.Julia Robinson - 1970 - Journal of Symbolic Logic 35 (3):476-476.
Reviews. Raphael M. Robinson. Primitive recursive functions. Bulletin of the American Mathematical Society, Bd. 53 , S 925–942. [REVIEW]Rózsa Péter - 1948 - Journal of Symbolic Logic 13 (2):113-114.
McCarthy John. Computer programs for checking mathematical proofs. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 219–227. [REVIEW]J. A. Robinson - 1968 - Journal of Symbolic Logic 32 (4):523-523.
Louise Hay. On creative sets and indices of partial recursive functions. Transactions of the American Mathematical Society, vol. 120 no. 2 , pp. 359–367. - Louise Hay. Isomorphism types of index sets of partial recursive functions. Proceedings of the American Mathematical Society, vol. 17 , pp. 106–110. - Louise Hay. Index sets of finite classes of recursively enumerable sets. The journal of symbolic logic, vol. 34 , pp. 39–44. [REVIEW]Forbes D. Lewis - 1974 - Journal of Symbolic Logic 39 (1):186-187.
Shoenfield J. R.. The class of recursive functions. Proceedings of the American Mathematical Society, vol. 9 , pp. 690–692. [REVIEW]Paul Axt - 1959 - Journal of Symbolic Logic 24 (3):238-239.
Julia Robinson. Unsolvable diophantine problems. Proceedings of the American Mathematical Society, vol. 22 , pp. 534–538. [REVIEW]Robert A. DiPaola - 1972 - Journal of Symbolic Logic 37 (3):603-604.
Liu Shih-Chao. A theorem on general recursive functions. Proceedings of the American Mathematical Society, vol. 11 , pp. 184–187. [REVIEW]James R. Guard - 1964 - Journal of Symbolic Logic 29 (2):104-104.
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.
General Recursive Functions.Julia Robinson - 1951 - Journal of Symbolic Logic 16 (4):280-280.
Robinson Julia. A note on primitive recursive functions. Ebd., S. 667–670.Rózsa Péter - 1957 - Journal of Symbolic Logic 22 (4):376-376.
Review: Julia Robinson, A Note on Primitive Recursive Functions. [REVIEW]Rózsa Péter - 1957 - Journal of Symbolic Logic 22 (4):376-376.
Kleene S. C.. Recursive functions and intuitionistic mathematics. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence 1952, Vol. I, pp. 679–685. [REVIEW]Andrzej Mostowski - 1953 - Journal of Symbolic Logic 18 (2):181-182.

Analytics

Added to PP
2016-06-30

Downloads
21 (#734,423)

6 months
1 (#1,464,097)

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