Rosa, L. “Tipos Incondicionais De Inferência E O Conhecimento lógico”. Veritas (Porto Alegre), vol. 61, nº 2, dezembro de 2016, p. 350-62, doi:10.15448/1984-6746.2016.2.25532.