Silvestrini, L. H. C., Brazil

• Vol 22, No 3 (2021) - Original Article
  O Método dos Tableaux Aplicado ao Cálculo Trivalente e Intuicionista I1
  Abstract  PDF (Português (Brasil))

Trends in Computational and Applied Mathematics

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

Indexed in:

Desenvolvido por: