TY  - BOOK
AU  - Kozen, Dexter C
AU  - 
TI  - Automata and computability
U1  - 511.3  KOZ-A 
PY  - 1997///
CY  - Springer-Verlag, New York
KW  - Mathematical logic-- Mathematics
ER  -