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