e-ISSN: 2359-0793
da Cruz Silvestrini, Luiz Henrique
-
Proceeding Series of the Brazilian Society of Computational and Applied Mathematics Vol. 7 Núm. 1 (2020): CNMAC 2019 - Resumos
Sobre a adequação em tableaux para o sistema I
Resumen PDF (Português (Brasil)) -
Proceeding Series of the Brazilian Society of Computational and Applied Mathematics Vol. 6 Núm. 2 (2018): CNMAC 2018 - Resumos
Sobre a semântica da lógica LPT e da Lógica Proposicional Clássica
Resumen PDF (Português (Brasil))