An Introduction to Recursive Function Theory
Author: Nigel Cutland
Publisher: Cambridge University Press
View: 1759This 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.