Recursive Function Theory and Logic

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

0127689508

DOI

10.2307/2271829

Other Versions

No versions found

Links

PhilArchive



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

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

Recursive Function Theory and Logic.Ann Yasuhara - 1971 - New York, NY, USA: Academic Press.
Ann Yasuhara. Recursive function theory and logic. Academic Press, New York and London 1971, xv + 338 pp. [REVIEW]Joseph S. Ullian - 1975 - Journal of Symbolic Logic 40 (4):619-620.
Formal Systems and Recursive Functions.Michael Dummett & J. N. Crossley (eds.) - 1963 - Amsterdam,: North Holland.
Formal Systems and Recursive Functions Proceedings of the Eighth Logic Colloquium, Oxford, July 1963.John N. Logic Colloquium, Michael A. E. Crossley, Dummett & Association for Symbolic Logic - 1965 - North-Holland.
Degrees of unsolvability.Joseph Robert Shoenfield - 1971 - New York,: American Elsevier.
Logic Colloquium '69 Proceedings of the Summer School and [Fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969.Robin Oliver Gandy & Charles Michael Edmund Yates (eds.) - 1971 - Amsterdam, Netherlands: North-Holland.
Classes of Recursive Functions based on Ackermann's Function.Robert W. Ritchie - 1966 - Journal of Symbolic Logic 31 (4):654-654.
Theory of Provable Recursive Functions.Patrick C. Fischer - 1967 - Journal of Symbolic Logic 32 (2):270-270.
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.
Recursive Function Theory.John Myhill - 1968 - Journal of Symbolic Logic 33 (4):619-620.

Analytics

Added to PP
2015-02-05

Downloads
35 (#651,676)

6 months
8 (#605,434)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Computability and physical theories.Robert Geroch & James B. Hartle - 1986 - Foundations of Physics 16 (6):533-550.
On the semantics of the Henkin quantifier.Michał Krynicki & Alistair H. Lachlan - 1979 - Journal of Symbolic Logic 44 (2):184-200.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references