Kozen, Dexter C. <br/><br/>
Automata and computability 
/ Dexter C. Kozen 
 - New York :   Springer,   1997.  
 - xiii, 389 p. :   ill. ;   24 cm. 
 - Undergraduate texts in computer science / edited by David Gries and Fred B. Schneider .
<br/><br/>Includes references and index 
<br/><br/><label>ISBN: </label>9781461273097 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Machine theory<br/>Computable functions<br/>Publisher description
<br/><br/><label>Dewey Class. No.: </label>005.131 KOZ