Kozen, Dexter C. 1951-

Automata and computability / by Dexter C. Kozen. - New York : Springer, c1997. - xiii, 400 p. ; 24 cm. - Undergraduate texts in computer science. .

Includes bibliographical references and index.

9780387949079 (hbk.) 0387949070 (hbk.)

96037409


Machine theory.
Computable functions.

511.3 / KOZ/A