Kozen, Dexter,  1951- <br/><br/>
Theory of computation / 
Dexter C. Kozen. 
 - London :  Springer,  c2006. 
 - xiii, 418 p. :  ill. ;  25 cm. 
 - Texts in computer science .
 - Texts in computer science. .
<br/><br/>Includes bibliographical references (p. [391]-398) and index. 
<br/><br/><label>ISBN: </label>9781846282973 (acid-free paper) 1846282977 (acid-free paper) 
<br/><br/><label>Publisher. No.: </label>10949559 
<br/><br/><label>LCCN: </label>2005937504 
<br/><br/><label>Nat. Bib. No.: </label>GBA614844  bnb 05,N48,0749  dnb 
<br/><br/><label>Nat. Bib. Agency Control No.: </label>013381062  Uk 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computational complexity.<br/>Computer science--Mathematics.<br/>Recursion theory.
<br/><br/><label>LC Class. No.: </label>QA267.7  / .K69 2006 
<br/><br/><label>Dewey Class. No.: </label>511.352