TY - BOOK AU - Kozen,Dexter C. AU - ,. AU - ,. TI - Automata and computability / T2 - Undergraduate texts in computer science, U1 - 511.3 PY - 2002/// CY - NewYork : PB - Springer , KW - MACHINE THEORY N1 - Includes index ER -