Kozen, Dexter C <br/><br/>
Automata and computability 

 -   Springer Publishing Co., New York 
 - 400 
<br/><br/><label>ISBN: </label>1332 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Symbolic logic; Automata, Formal languages applied to programming langu
<br/><br/><label>Dewey Class. No.: </label>005.131  KOZ-A