Jens Erik Fenstad & Peter G. Hinman (eds.)
New York: American Elsevier Pub. Co. (1974)
Abstract |
Provability, Computability and Reflection
|
Keywords | Recursion theory Congresses |
Categories | (categorize this paper) |
Buy this book |
Find it on Amazon.com
|
Call number | QA9.6.S95 1972 |
ISBN(s) | 044410545X 9780444105455 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Axiomatic Recursion Theory and the Continuous Functionals.Simon Thompson - 1985 - Journal of Symbolic Logic 50 (2):442-450.
Recursion Theory for Metamathematics.Raymond Merrill Smullyan - 1993 - Oxford, England: Oxford University Press.
Generalized Recursion Theory Ii: Proceedings of the 1977 Oslo Symposium.Jens Erik Fenstad, R. O. Gandy & Gerald E. Sacks (eds.) - 1978 - Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland.
Recursion Theory: Summer Research Institute : Papers.Anil Nerode & Richard A. Shore (eds.) - 1985 - American Mathematical Society.
Computability Theory: An Introduction to Recursion Theory.Herbert B. Enderton - 2010 - Academic Press.
Computability, Enumerability, Unsolvability: Directions in Recursion Theory.S. B. Cooper, T. A. Slaman & S. S. Wainer (eds.) - 1996 - Cambridge University Press.
Analytics
Added to PP index
2009-01-28
Total views
10 ( #903,513 of 2,520,355 )
Recent downloads (6 months)
1 ( #406,012 of 2,520,355 )
2009-01-28
Total views
10 ( #903,513 of 2,520,355 )
Recent downloads (6 months)
1 ( #406,012 of 2,520,355 )
How can I increase my downloads?
Downloads