Silvestrini, L. H. C., Brasil

• v. 22, n. 3 (2021) - Artigo Original
  O Método dos Tableaux Aplicado ao Cálculo Trivalente e Intuicionista I1
  Resumo  PDF

Trends in Computational and Applied Mathematics

A publication of the Brazilian Society of  Applied and Computational Mathematics (SBMAC)

Indexed in:

Desenvolvido por: