área de pesquisa Hendrick Cordeiro Maia e Silva Noções de Localidade de Lógicas Baseadas em Estruturas Modelo de Quillen sobre Modelos Finitos.
