Santos EOV, Silvestrini LHC. O Método dos Tableaux Aplicado ao Cálculo Trivalente e Intuicionista I1. Trends Comput. Appl. Math. [Internet]. 2021 Sep. 2 [cited 2024 Dec. 22];22(3):393-412. Available from: https://tcam.sbmac.org.br/tema/article/view/1449