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 maio de 2026];6(2):37-56. Disponível em: https://periodicostestes.bce.unb.br/index.php/fmc/article/view/19201