Rosa, L. (2016). Tipos incondicionais de inferência e o conhecimento lógico. Veritas (Porto Alegre), 61(2), 350–362. https://doi.org/10.15448/1984-6746.2016.2.25532