Seminários do Grupo de Lógica Matemática da UFF - 2012.1