
por Nigel Cutland · 1980
Sinopsis
Una introducción rigurosa a la teoría de la computabilidad, centrándose en las funciones recursivas para definir qué es computable, utilizando un enfoque desde la lógica matemática.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo
Libros relacionados según distintos criterios de búsqueda