Kozen, Dexter C. <br/><br/>
Theory of computation 
Dexter C. Kozen 
 - London  Springer  2006 
 - xiii, 409p 
<br/><br/><label>ISBN: </label>1846282977  E59.95