Lázaro, C. A., Feitosa, H. de A., & Soares, M. R. (2019). Lógica, ordem e sistemas implicativos. Veritas (Porto Alegre), 64(3), e32214. https://doi.org/10.15448/1984-6746.2019.3.32214