Silva, Helen Gomes da, e H´ercules de Araujo Feitosa. “Lógica Da Verdade Pragmática Apresentada Num Sistema Dedutivo De Tableaux”. C.Q.D. - Revista Eletrônica Paulista de Matemática 7 (novembro 19, 2022). Acessado setembro 28, 2024. https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/78.