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