Hermes, Hans. <br/><br/>
Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit ;  Einfuhrung in die Theorie der rekursiven Funktionen / 
Hans Hermes. 
 - 2. Aufl. 
 - Berlin ;  New York :  Springer-Verlag,  1971. 
 - x, 246 p. ;  21 cm. 
 - Heidelberger Taschenbucher  Bd. 87 .
<br/><br/>Includes bibliographies. 
<br/><br/><label>ISBN: </label>3540053344 0387053344 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Recursive functions.<br/>Algorithms.<br/>Godel's theorem.<br/>Computable functions.