Santos, E. O. V., and L. H. C. Silvestrini. “O Método Dos Tableaux Aplicado Ao Cálculo Trivalente E Intuicionista I1”. Trends in Computational and Applied Mathematics 22, no. 3 (September 2, 2021): 393–412. Accessed November 9, 2024. https://tema.sbmac.emnuvens.com.br/tema/article/view/1449.