Este artigo é privado e está apenas disponivel para membros do grupo: Professores de Fundamentos de Lógica e Teoria da Computação (FLTC25179577) 1º Semestre - 2020/2021 ou Alunos de Fundamentos de Lógica e Teoria da Computação (FLTC25179577) 1º Semestre - 2020/2021