Perfil do autor | Proceeding Series of the Brazilian Society of Computational and Applied Mathematics

da Cruz Silvestrini, Luiz Henrique

Proceeding Series of the Brazilian Society of Computational and Applied Mathematics v. 7 n. 1 (2020): CNMAC 2019 - Resumos
Sobre a adequação em tableaux para o sistema I
Resumo PDF
Proceeding Series of the Brazilian Society of Computational and Applied Mathematics v. 6 n. 2 (2018): CNMAC 2018 - Resumos
Sobre a semântica da lógica LPT e da Lógica Proposicional Clássica
Resumo PDF