Ambos libros abordan conceptos matemáticos fundamentales, pero 'Foundations of Mathematical Logic' se centra más en la lógica formal aplicada a la computación.
Introducción a la teoría de algoritmos
por G. S. Tseytin · 1986
Ver sugerenciasSinopsis
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
En 'The Complexity of Recursive Functions', se exploran los límites de la computación, similar a cómo 'Introducción a la teoría de algoritmos' investiga la eficiencia algorítmica.