Ambos libros abordan la teoría de funciones recursivas y su relación con la computabilidad de manera rigurosa y técnica.
Computability: An Introduction to Recursive Function Theory
por Nigel Cutland · 1980
Ver sugerenciasSinopsis
Sé el primero en valorar este libro.
Más de Nigel Cutland
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
La obra de Cutland continúa el enfoque de Kleene, profundizando en las bases lógicas de la computación efectiva y funciones recursivas.