TY  - GEN
AU  - Kozen,Dexter C.
TI  - Theory of computation
U1  - 519.4 
PY  - 2007///
CY  - New York
PB  - Springer
KW  - Computer science--Mathematics; Recursion theory; Computational complexity; Computer science; Computer software; Information theory
ER  -