LÁZARO, Cristiane Alexandra; FEITOSA, Hércules de Araujo; SOARES, Marcelo Reicher. Lógica, ordem y 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/veritas/article/view/32214. Acesso em: 16 ago. 2024.