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