Computability
An Introduction to Recursive Function Theory
- Paperback
- ISBN:9780521294652
- Publication date:June 1980
- 264pages
- Dimensions: 228 x 152 mm
- Weight: 0.39kg
- (Z)
This introduction to recursive theory computability begins with a mathematical characterization of computable functions, develops the mathematical theory and includes a full discussion of noncomputability and undecidability. Later chapters move on to more advanced topics such as degrees of unsolvability and Gödel's Incompleteness Theorem.
