Robinson Julia. General recursive functions. Proceedings of the American Mathematical Society, vol. 1 no. 6 , pp. 703–718 [Book Review]

Journal of Symbolic Logic 16 (4):280-280 (1951)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200100829

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

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.
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.
General Recursive Functions.Julia Robinson - 1951 - Journal of Symbolic Logic 16 (4):280-280.
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.
Review: Julia Robinson, Recursive Functions of One Variable. [REVIEW]Martin Davis - 1970 - Journal of Symbolic Logic 35 (3):476-476.
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.
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.
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.
Recursive Functions of One Variable.Julia Robinson - 1970 - Journal of Symbolic Logic 35 (3):476-476.
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.
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.
Review: Julia Robinson, A Note on Primitive Recursive Functions. [REVIEW]Rózsa Péter - 1957 - Journal of Symbolic Logic 22 (4):376-376.
A foundation for real recursive function theory.José Félix Costa, Bruno Loff & Jerzy Mycka - 2009 - Annals of Pure and Applied Logic 160 (3):255-288.
M. L. Minsky. Size and structure of universal Turing machines using Tag systems. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 229–238. [REVIEW]Martin Davis - 1966 - Journal of Symbolic Logic 31 (4):655-655.
Kleene S. C.. A note on recursive functions. Bulletin of the American Mathematical Society, vol. 42 , pp. 544–546.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (3):119-119.

Analytics

Added to PP
2013-11-22

Downloads
22 (#690,757)

6 months
6 (#504,917)

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