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