Kozen, Dexter C. <br/><br/>
Automata and computability / 
Dexter C. Kozen 
 - New York  Springer  1997 
 - 400 p. 
<br/><br/><label>ISBN: </label>9780387949079 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Machine theory<br/>Computable functions<br/>Computer science<br/>Computer software
<br/><br/><label>Dewey Class. No.: </label>004.0151 KOZ-D