TY  - GEN
AU  - Kozen, Dexter C 
TI  - Theory of computation
SN  - 9781849965712
U1  - 004.0151 KOZ/T 
PY  - 2006///
CY  - London
PB  - Springer-Verlag
KW  - Computational complexity theory
KW  - Recursion theory
ER  -