O método dos Tableaux Aplicado ao Cálculo Trivalente e Intuicionista I1 - Santos, E. O. V. [UNESP] (2021)