TY  - BOOK
AU  - Kozen, Dexter C. 
TI  - Theory of computation: Dexter C. Kozen
T2  - Gries, David 
SN  - 9781846282973
U1  - 511.352 K79t 
PY  - 2006///
CY  - London
PB  - Springer-Verlag
KW  - Recursion theory
KW  - Computational complexity
KW  - Computer science
KW  - Mathematics
KW  - Computer software
KW  - Information theory
ER  -