publicações selecionadas Indefinibilidade da Representabilidade de Matroides em Linguagens Monádicas de Segunda Ordem
