LÁZARO, C. A.; FEITOSA, H. de A.; SOARES, M. R. Lógica, ordem e sistemas implicativos. Veritas (Porto Alegre), [S. l.], v. 64, n. 3, p. e32214, 2019. DOI: 10.15448/1984-6746.2019.3.32214. Disponível em: https://revistaseletronicas.pucrs.br/ojs/index.php/veritas/article/view/32214. Acesso em: 27 abr. 2024.