6433 results in Logic, categories and Sets
3 - Other approaches to computability: Church's thesis
-
- Book:
- Computability
- Published online:
- 28 May 2018
- Print publication:
- 19 June 1980, pp 48-71
-
- Chapter
- Export citation
7 - Recursive and recursively enumerable sets
-
- Book:
- Computability
- Published online:
- 28 May 2018
- Print publication:
- 19 June 1980, pp 121-142
-
- Chapter
- Export citation
5 - Universal programs
-
- Book:
- Computability
- Published online:
- 28 May 2018
- Print publication:
- 19 June 1980, pp 85-99
-
- Chapter
- Export citation
Contents
-
- Book:
- Computability
- Published online:
- 28 May 2018
- Print publication:
- 19 June 1980, pp v-vii
-
- Chapter
- Export citation
9 - Reducibility and degrees
-
- Book:
- Computability
- Published online:
- 28 May 2018
- Print publication:
- 19 June 1980, pp 157-181
-
- Chapter
- Export citation
8 - Arithmetic and Gödel's incompleteness theorem
-
- Book:
- Computability
- Published online:
- 28 May 2018
- Print publication:
- 19 June 1980, pp 143-156
-
- Chapter
- Export citation
10 - Effective operations on partial functions
-
- Book:
- Computability
- Published online:
- 28 May 2018
- Print publication:
- 19 June 1980, pp 182-199
-
- Chapter
- Export citation
Index of notation
-
- Book:
- Computability
- Published online:
- 28 May 2018
- Print publication:
- 19 June 1980, pp 241-245
-
- Chapter
- Export citation
4 - Numbering computable functions
-
- Book:
- Computability
- Published online:
- 28 May 2018
- Print publication:
- 19 June 1980, pp 72-84
-
- Chapter
- Export citation
2 - Generating computable functions
-
- Book:
- Computability
- Published online:
- 28 May 2018
- Print publication:
- 19 June 1980, pp 25-47
-
- Chapter
- Export citation
6 - Decidability, undecidability and partial decidability
-
- Book:
- Computability
- Published online:
- 28 May 2018
- Print publication:
- 19 June 1980, pp 100-120
-
- Chapter
- Export citation
Prologue. Prerequisites and notation
-
- Book:
- Computability
- Published online:
- 28 May 2018
- Print publication:
- 19 June 1980, pp 1-6
-
- Chapter
- Export citation
12 - Complexity of computation
-
- Book:
- Computability
- Published online:
- 28 May 2018
- Print publication:
- 19 June 1980, pp 212-235
-
- Chapter
- Export citation
Preface
-
- Book:
- Computability
- Published online:
- 28 May 2018
- Print publication:
- 19 June 1980, pp viii-x
-
- Chapter
- Export citation
13 - Further study
-
- Book:
- Computability
- Published online:
- 28 May 2018
- Print publication:
- 19 June 1980, pp 236-238
-
- Chapter
- Export citation
11 - The second Recursion theorem
-
- Book:
- Computability
- Published online:
- 28 May 2018
- Print publication:
- 19 June 1980, pp 200-211
-
- Chapter
- Export citation
Subject Index
-
- Book:
- Computability
- Published online:
- 28 May 2018
- Print publication:
- 19 June 1980, pp 246-251
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Computability
- Published online:
- 28 May 2018
- Print publication:
- 19 June 1980, pp i-iv
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Computability
- Published online:
- 28 May 2018
- Print publication:
- 19 June 1980, pp 239-240
-
- Chapter
- Export citation
1 - Computable functions
-
- Book:
- Computability
- Published online:
- 28 May 2018
- Print publication:
- 19 June 1980, pp 7-24
-
- Chapter
- Export citation