Santos, E.O.V. and Silvestrini, L.H.C. 2021. O Método dos Tableaux Aplicado ao Cálculo Trivalente e Intuicionista I1. Trends in Computational and Applied Mathematics. 22, 3 (Sep. 2021), 393–412. DOI:https://doi.org/10.5540/tcam.2021.022.03.00393.