Lógica Calculativa (Logic for Informatics)
Syllabus LCAL See PDF
Exams
2017-1: First, Second, Third
2017-2: First, Second, Third
2018-1: First, Second, Third