LÁZARO, Cristiane Alexandra; FEITOSA, Hércules de Araujo; SOARES, Marcelo Reicher. 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://pucrs.emnuvens.com.br/veritas/article/view/32214. Acesso em: 22 maio. 2025.