Freire, Rodrigo A., e Luiza S. P. Ramos. “Da Semântica Para Demonstrações De Consistência E a Volta”. Revista De Filosofia Moderna E Contemporânea, vol. 6, nº 2, dezembro de 2018, p. 37-56, doi:10.26512/rfmc.v6i2.19201.