Apoyatura de Lógica para Ciencias de la Computación.