Recursion Theory : Lecture Notes in Logic 1 /
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
A K Peters/CRC Press,
2018.
|
| Edition: | 1st |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- Chapter 1 Computability / Joseph R. Shoenfield
- chapter 2 Functions and Relations / Joseph R. Shoenfield
- chapter 3 The Basic Machine / Joseph R. Shoenfield
- chapter 4 Macros / Joseph R. Shoenfield
- chapter 5 Closure Properties / Joseph R. Shoenfield
- chapter 6 Definitions of Recursive Functions / Joseph R. Shoenfield
- chapter 7 Codes / Joseph R. Shoenfield
- chapter 8 Indices / Joseph R. Shoenfield
- chapter 9 Church's Thesis / Joseph R. Shoenfield
- chapter 10 Word Problems / Joseph R. Shoenfield
- chapter 11 Undecidable Theories / Joseph R. Shoenfield
- chapter 12 Relative Recursion / Joseph R. Shoenfield
- chapter 13 The Arithmetical Hierarchy / Joseph R. Shoenfield
- chapter 14 Recursively Enumerable Relations / Joseph R. Shoenfield
- chapter 15 Degrees / Joseph R. Shoenfield
- chapter 16 Evaluation of Degrees / Joseph R. Shoenfield
- chapter 17 Large RE Sets / Joseph R. Shoenfield
- chapter 18 Function of Reals / Joseph R. Shoenfield
- chapter 19 The Analytical Hierarchy / Joseph R. Shoenfield
- chapter 20 The Projective Hierarchy / Joseph R. Shoenfield.