TY  - BOOK
AU  - Kozen,Dexter
TI  - Automata and Computability
SN  - 0387949070
U1  - 511.3 
PY  - 1997///
CY  - NEW YORK, ESTADOS UNIDOS
PB  - SPRINGER
KW  - COMPUTABLE FUNCTIONS
KW  - COMPUTACION
KW  - MACHINE THEORY
KW  - MATEMATICA PARA COMPUTACION
N2  - The aim of this textbook is to provide undergraduate students with an introduction to the basic theoretical models of compatibility, and to develop some of the of the models rich and varied structures. Students who have alredy some experience with elementary discrete mathematics will find this a well-paced first course, and a number of supplementary chapters introduce more advanced concepts
ER  -