Rosa, Luiz. 2016. “Tipos Incondicionais De Inferência E O Conhecimento lógico”. Veritas (Porto Alegre) 61 (2):350-62. https://doi.org/10.15448/1984-6746.2016.2.25532.