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