Notre Dame Journal of Formal Logic 21 (2):273-276 (1980)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1305/ndjfl/1093883046
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 58,242
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Productive Sets and Constructively Nonpartial-Recursive Functions.Akira Kanda - 1988 - Archive for Mathematical Logic 27 (1):49-50.

Add more citations

Similar books and articles

Accessible Recursive Functions.Stanley S. Wainer - 1999 - Bulletin of Symbolic Logic 5 (3):367-388.
Some Restrictions on Simple Fixed Points of the Integers.G. L. McColm - 1989 - Journal of Symbolic Logic 54 (4):1324-1345.
Formal Systems and Recursive Functions.John N. Crossley & Michael A. E. Dummett (eds.) - 1965 - Amsterdam: North-Holland Pub. Co..
Hyper-Torre Isols.Erik Ellentuck - 1981 - Journal of Symbolic Logic 46 (1):1-5.
Generalized Weak Presentations.Alexandra Shlapentokh - 2002 - Journal of Symbolic Logic 67 (2):787-819.
Degrees of Relative Provability.Mingzhong Cai - 2012 - Notre Dame Journal of Formal Logic 53 (4):479-489.
Weak Presentations of Computable Fields.Carl G. Jockusch & Alexandra Shlapentokh - 1995 - Journal of Symbolic Logic 60 (1):199 - 208.
Recursive Analysis.R. L. Goodstein - 1961 - Dover Publications.

Analytics

Added to PP index
2010-08-24

Total views
11 ( #802,538 of 2,419,525 )

Recent downloads (6 months)
1 ( #542,199 of 2,419,525 )

How can I increase my downloads?

Downloads

My notes