Freire RA, Ramos LSP. Da Semântica para Demonstrações de Consistência e a Volta. R. Fil. Mod. Contemp. [Internet]. 28º de dezembro de 2018 [citado 25º de novembro de 2024];6(2):37-56. Disponível em: https://periodicos.unb.br/index.php/fmc/article/view/19201