138812
9780521294652
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.Cutland, N. J. is the author of 'Computability An Introduction to Recursive Function Theory', published 1980 under ISBN 9780521294652 and ISBN 0521294657.
[read more]