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