Freire, R. A., & Ramos, L. S. P. (2018). Da Semântica para Demonstrações de Consistência e a Volta. Revista De Filosofia Moderna E Contemporânea, 6(2), 37–56. https://doi.org/10.26512/rfmc.v6i2.19201