El libro es un manual de Teoría de la Computación. La esposición está dividida en dos partes, una primera dedicada a definir y análizar las principales interpretaciones de la noción de "algoritmo" y otra en la que se estudia en profundidad su estructura y limitaciones. Mientras que la primera parte tiene un caracter expositivo donde priman la definiciones sobre el comentario de resultados, la segunda invierte el orden concediendo mayor atención a la demostración de los teoremas que configuran esta disciplina. Este manual ha sido diseñado para un público ámplio que toma contacto por primera vez con la disciplina.