Shelfclass_id | 3.D.3 |
Sortkey | KOZEN, DEXTER |
Authors | Dexter Kozen |
Title | Automata and Computability |
Publisher | Springer-Verlag |
Year | c1997 |
Languages | eng |
Isbn | 0387949070 |
Series | Undergraduate texts in computer science |
Description | (hardcover: alk. paper) xiii, 400 p. 24 cm |
Record date | 20060629 |
Location | New York |
Keywords | Machine theory, Computable functions |