área de pesquisa Demonstrações na algibeira : polinômios como um método universal de prova Dra. Ítala Maria Loffredo D´Ottaviano Lógica da Dedutibilidade: o axioma modal B e adjunções Mariana Matulovic da Silva Rodrigueiro Sobre o operador de fecho, um conceito que permeia muitos e distintos tópicos matemáticos
