Hermes, Hans <br/><br/>
Ennumerability, decidability, computability: and introduction to the theory of recursive functions 

 - Berlin  Springer-Verlag  1965 
 - ix,245p p. 
<br/><br/><label>Subjects--Index Terms: </label>Mathematics