Grupo de Lógica Matemática da UFF
Seminários 2013.1