Kozen, Dexter,  1951- <br/><br/>
Theory of computation / 
Dexter C. Kozen 
 - London :  Springer,  2006 
 - xiii, 418 p. :  ill. ;  25 cm. 
 - 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)  RM302.15 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computational complexity<br/>Computer science--Mathematics<br/>Recursion theory