Fundamentals of Generalized Recursion Theory

Journal of Symbolic Logic 51 (4):1078-1079 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273928

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

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: Melvin Fitting, Fundamentals of Generalized Recursion Theory. [REVIEW]Peter G. Hinman - 1986 - Journal of Symbolic Logic 51 (4):1078-1079.
Fitting Melvin. Fundamentals of generalized recursion theory. Studies in logic and the foundations of mathematics, vol. 105. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1981, xx + 307 pp. [REVIEW]Peter G. Hinman - 1986 - Journal of Symbolic Logic 51 (4):1078-1079.
Review: Melvin Chris Fitting, Intuitionistic Logic Model Theory and Forcing. [REVIEW]F. R. Drake - 1971 - Journal of Symbolic Logic 36 (1):166-167.
Review: Raymond M. Smullyan, Melvin Fitting, Set Theory and the Continuum Problem. [REVIEW]James Cummings - 1999 - Journal of Symbolic Logic 64 (1):401-403.
Applications of Cut-Free Infinitary Derivations to Generalized Recursion Theory.Arnold Beckmann & Wolfram Pohlers - 2000 - Bulletin of Symbolic Logic 6 (2):221-222.
Algorithmic Procedures, Generalized Turing Algorithms, and Elementary Recursion Theory.J. C. Shepherdson, A. J. Kfoury, R. Statman & Robert E. Byerly - 1990 - Journal of Symbolic Logic 55 (2):876-878.
Review: Melvin Fitting, First-Order Logic and Automated Theorem Proving. [REVIEW]Alfredo Ferro - 1993 - Journal of Symbolic Logic 58 (2):719-719.
Fitting Melvin Chris. Intuitionistic logic model theory and forcing. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London 1969, 191 pp. [REVIEW]F. R. Drake - 1971 - Journal of Symbolic Logic 36 (1):166-167.
Review: Melvin Fitting, Proof Methods for Modal and Intuitionistic Logics. [REVIEW]R. A. Bull - 1985 - Journal of Symbolic Logic 50 (3):855-856.
Fitting Melvin. Computability theory, semantics, and logic programming. Oxford logic guides, no. 13. Clarendon Press, Oxford University Press, Oxford and New York 1987, xi + 198 pp. [REVIEW]J. C. Shepherdson - 1988 - Journal of Symbolic Logic 53 (4):1257-1257.

Analytics

Added to PP
2015-02-05

Downloads
5 (#1,562,182)

6 months
3 (#1,045,901)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Melvin Fitting
CUNY Graduate Center

Citations of this work

Levels of implication and type free theories of classifications with approximation operator.Andrea Cantini - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):107-141.
Working foundations.Solomon Feferman - 1985 - Synthese 62 (2):229 - 254.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references