Degrees of Unsolvability
New York, American Elsevier (1972)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Logic, Symbolic and mathematical Recursive functions Unsolvability (Mathematical logic) | |||||||||
| Categories | ||||||||||
| Buy the book | $54.89 used $210.00 direct from Amazon $596.90 new Amazon page | |||||||||
| Call number | QA9.S518 | |||||||||
| ISBN(s) | 072042061X 9780720420616 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesEmil L. Post (1947). Recursive Unsolvability of a Problem of Thue. Journal of Symbolic Logic 12 (1):1-11.
Herbert B. Enderton (2011). Computability Theory: An Introduction to Recursion Theory. Academic Press.
George Boolos (2007). Computability and Logic. Cambridge University Press.
C. E. M. Yates (1970). Initial Segments of the Degrees of Unsolvability Part II: Minimal Degrees. Journal of Symbolic Logic 35 (2):243-266.
Harry R. Lewis (1979). Unsolvable Classes of Quantificational Formulas. Addison-Wesley Pub. Co..
Martin Davis (ed.) (1965/2004). The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions. Dover Publication.
Paul C. Rosenbloom (1950/2005). The Elements of Mathematical Logic. New York]Dover Publications.
M. Lerman (1983). Degrees of Unsolvability: Local and Global Theory. Springer-Verlag.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads7 ( #133,421 of 549,069 )Recent downloads (6 months)1 ( #63,185 of 549,069 )How can I increase my downloads? |
My notes
Discussion
