TY  - BOOK
AU  - Kozen,Dexter
TI  - Theory of computation
SN  - 9781846282973 (acid-free paper)
PY  - 2006///
CY  - London
PB  - Springer
KW  - Computational complexity
KW  - Computer science
KW  - Mathematics
KW  - Recursion theory
N1  - Includes bibliographical references (p. [391]-398) and index
UR  - http://www.loc.gov/catdir/enhancements/fy0663/2005937504-d.html
ER  -