Freire, R. A.; Ramos, L. S. P. Da Semântica Para Demonstrações De Consistência E a Volta. R. Fil. Mod. Contemp. 2018, 6, 37-56.