Kozen, Dexter C <br/><br/>
Automata and computability 
Dexter C Kozen 
 - 
 - Springer-Verlag, New York  1997 
 - 
 - .
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematical logic-- Mathematics
<br/><br/><label>Dewey Class. No.: </label>511.3  KOZ-A