TY  - BOOK
AU  - Kozen,, Dexter
TI  - Automata and computability / 
U1  - 511.3 
PY  - 1997///
CY  - New Delhi
PB  - Springer
KW  - Machine theory
KW  - Computable functions
KW  - Mathematics
ER  -