A Recursive Introduction to the Theory of Computation /

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

Main Author:	Smith, Carl H. (Carl Henry), 1895-
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	New York, NY : Springer New York, 1994.
Series:	Graduate texts in computer science.
Subjects:	Computer science. Information theory. Electronic books.
Online Access:	Connect to the full text of this electronic book