Freire, R. A. e 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), p. 37–56. doi: 10.26512/rfmc.v6i2.19201.