Rogers, H. <br/><br/>
Theory of recursive functions and effective computability 

 - Massachusetts  MIT Press  1987 
 - xxi, 481p. 
<br/><br/><label>ISBN: </label>978-0-262-68052-3