Apoyatura LCC
Departamento de Teoría de la Computación
Apoyatura de Lógica para Ciencias de la Computación.