5 results
Frontmatter
-
- Book:
- Computability, Enumerability, Unsolvability
- Published online:
- 23 February 2010
- Print publication:
- 11 January 1996, pp i-iv
-
- Chapter
- Export citation
APPENDIX: Questions in Recursion Theory
-
- Book:
- Computability, Enumerability, Unsolvability
- Published online:
- 23 February 2010
- Print publication:
- 11 January 1996, pp 333-347
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805215/57368/cover/9780521557368.jpg)
Computability, Enumerability, Unsolvability
- Directions in Recursion Theory
-
- Published online:
- 23 February 2010
- Print publication:
- 11 January 1996
Contents
-
- Book:
- Computability, Enumerability, Unsolvability
- Published online:
- 23 February 2010
- Print publication:
- 11 January 1996, pp v-vi
-
- Chapter
- Export citation
Σ 1 definitions with parameters
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 453-461
- Print publication:
- June 1986
-
- Article
- Export citation