SANTOS, E. O. V.; SILVESTRINI, L. H. C. O Método dos Tableaux Aplicado ao Cálculo Trivalente e Intuicionista I1. Trends in Computational and Applied Mathematics, [S. l.], v. 22, n. 3, p. 393–412, 2021. DOI: 10.5540/tcam.2021.022.03.00393. Disponível em: https://tema.sbmac.org.br/tema/article/view/1449. Acesso em: 3 jul. 2024.