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 - 2010/2011 ou Alunos de Fundamentos de Lógica e Teoria da Computação (FLTC-2) 1 Semestre - 2010/2011