Hermes Hans <br/><br/>
Enumerability Decidability Computability 
/ by Hans Hermes 
 - New York  Springer Verlag  1969 
 - 245p.