En esta obra de 266 páginas se analizan los límites de la computación, centrándose en la indecidibilidad y la NP‑completitud, con un estilo claro que facilita el estudio avanzado de teoría de algoritmos.