Hermes, Hans <br/><br/>
Enumerability, decidability, computability :  an introduction to the theory of resursive functions / 
Hans Hermes 
 - 2nd. ed. 
 - 245 páginas :  ilustraciones 
 - Die Grundlehren der Mathematischen Wissenschaften  , v.127 .
<br/><br/><label>Subjects--Topical Terms: </label><br/>ALGORITMOS<br/>FUNCIONES COMPUTABLES<br/>FUNCIONES RECURSIVAS<br/>LOGICA SIMBOLICA Y MATEMATICA
<br/><br/><label>Dewey Class. No.: </label>511.3  / H553