Santos, E. O. V., & 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), 393–412. https://doi.org/10.5540/tcam.2021.022.03.00393