Enumerability, decidability, computability : an introduction to the theory of recursive functions - Hermes, Hans (New York : Oxford University Press, 1985)
Keywords: FUNCIONES RECURSIVAS; ALGORITMOS; TEOREMA DE GODEL