Book contents
- Frontmatter
- Contents
- Preface
- COMPUTABILITY THEORY
- 1 Enumerability
- 2 Diagonalization
- 3 Turing Computability
- 4 Uncomputability
- 5 Abacus Computability
- 6 Recursive Functions
- 7 Recursive Sets and Relations
- 8 Equivalent Definitions of Computability
- BASIC METALOGIC
- FURTHER TOPICS
- Hints for Selected Problems
- Annotated Bibliography
- Index
1 - Enumerability
Published online by Cambridge University Press: 05 June 2012
- Frontmatter
- Contents
- Preface
- COMPUTABILITY THEORY
- 1 Enumerability
- 2 Diagonalization
- 3 Turing Computability
- 4 Uncomputability
- 5 Abacus Computability
- 6 Recursive Functions
- 7 Recursive Sets and Relations
- 8 Equivalent Definitions of Computability
- BASIC METALOGIC
- FURTHER TOPICS
- Hints for Selected Problems
- Annotated Bibliography
- Index
Summary
- Type
- Chapter
- Information
- Computability and Logic , pp. 3 - 15Publisher: Cambridge University PressPrint publication year: 2002