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