Silva, H. G. da, e H. de A. Feitosa. “Lógica Da Verdade Pragmática Apresentada Num Sistema Dedutivo De Tableaux”. C.Q.D. - Revista Eletrônica Paulista De Matemática, vol. 7, novembro de 2022, https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/78.