Este libro ofrece un recorrido avanzado por la teoría de modelos finitos, presentando técnicas lógicas modernas y demostraciones rigurosas sobre estructuras discretas, con énfasis en aplicaciones computacionales y algoritmos eficientes.