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