A Recursive Introduction to the Theory of Computation / by Carl H. Smith.

The aim of this textbook is to present an account of the theory of computation. After introducing the concept of a model of computation and presenting various examples, the author explores the limitations of effective computation via basic recursion theory. Self-reference and other methods are intro...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Main Author:	Smith, Carl H., 1950-
Format:	eBook
Language:	English
Published:	New York, NY : Springer New York, 1994.
Series:	Graduate texts in computer science.
Subjects:	Computer science. Information theory.