TY  - BOOK
AU  - Kozen,Dexter
TI  - Theory of computation
T2  - Texts in computer science
SN  - 9781846282973 (acid-free paper)
AV  - QA267.7 .K69 2006
U1  - 511.352 22
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://catdir.loc.gov/catdir/enhancements/fy0663/2005937504-d.html
UR  - http://catdir.loc.gov/catdir/enhancements/fy0818/2005937504-t.html
UR  - http://deposit.ddb.de/cgi-bin/dokserv?id=2705393&prov=M&dok_var=1&dok_ext=htm
ER  -