9 results
Trees and degrees
- from PART VI - RECURSION THEORY
-
-
- Book:
- Ordinal Definability and Recursion Theory
- Published online:
- 05 December 2015
- Print publication:
- 11 January 2016, pp 424-457
-
- Chapter
- Export citation
13 - Gödel's Mathematics of Philosophy
-
-
- Book:
- Kurt Gödel and the Foundations of Mathematics
- Published online:
- 07 September 2011
- Print publication:
- 06 June 2011, pp 299-304
-
- Chapter
- Export citation
Roger Penrose. Shadows of the mind. A search for the missing science of consciousness. Oxford University Press, Oxford, New York, and Melbourne, 1994, xvi + 457 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 673-675
- Print publication:
- June 1997
-
- Article
- Export citation
Inductive inference of total functions
-
-
- Book:
- Computability, Enumerability, Unsolvability
- Published online:
- 23 February 2010
- Print publication:
- 11 January 1996, pp 259-288
-
- Chapter
- Export citation
Raymond M. Smullyan. Recursion theory for metamathematics. Oxford logic guides, no. 22. Oxford University Press, New York and Oxford1993, xiv + 163 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 4 / December 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1324-1326
- Print publication:
- December 1995
-
- Article
- Export citation
Forcing and reducibilities. III. Forcing in fragments of set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1013-1034
- Print publication:
- December 1983
-
- Article
- Export citation
Forcing and reductibilities. II. Forcing in fragments of analysis
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 724-743
- Print publication:
- September 1983
-
- Article
- Export citation
Hubert C. Kennedy. Peano. Life and works of Giuseppe Peano. Studies in the history of modern science, vol. 4. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1980, xii + 230 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 503-504
- Print publication:
- June 1983
-
- Article
- Export citation
Forcing and reducibilities
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 288-310
- Print publication:
- June 1983
-
- Article
- Export citation