The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions - Davis, Martin 1928- (Hewlett, N.Y. : Raven Press, 1965)
Keywords: FUNCIONES RECURSIVAS; TEOREMA DE GODEL; INSOLUBILIDAD (LOGICA MATEMATICA)