21 results
Chapter 0 - On the Choice of Correct Notions for the General Theory
- from Pons Asinorum
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 3-16
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp i-iv
-
- Chapter
- Export citation
Part C - Infinite Theories
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 107-108
-
- Chapter
- Export citation
Chapter 6 - Degree Structure
- from Part C - Infinite Theories
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 140-164
-
- Chapter
- Export citation
Part D - Higher Types
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 165-166
-
- Chapter
- Export citation
Part A - General Theory
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 17-18
-
- Chapter
- Export citation
Chapter 5 - Admissible Prewellorderings
- from Part C - Infinite Theories
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 109-139
-
- Chapter
- Export citation
Chapter 2 - General Theory: Subcomputations
- from Part A - General Theory
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 43-62
-
- Chapter
- Export citation
References
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 209-216
-
- Chapter
- Export citation
Chapter 7 - Computations Over Two Types
- from Part D - Higher Types
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 167-181
-
- Chapter
- Export citation
General Recursion Theory
- An Axiomatic Approach
-
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017
Subject Index
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 223-225
-
- Chapter
- Export citation
Chapter 1 - General Theory: Combinatorial Part
- from Part A - General Theory
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 19-42
-
- Chapter
- Export citation
Chapter 4 - Finite Theories on Two Types
- from Part B - Finite Theories
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 90-106
-
- Chapter
- Export citation
Chapter 8 - Set Recursion and Higher Types
- from Part D - Higher Types
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 182-208
-
- Chapter
- Export citation
Author Index
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 220-222
-
- Chapter
- Export citation
Contents
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp ix-xii
-
- Chapter
- Export citation
Part B - Finite Theories
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 63-64
-
- Chapter
- Export citation
Pons Asinorum
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 1-2
-
- Chapter
- Export citation
Notation
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 217-219
-
- Chapter
- Export citation