PIRES, Augusto de Abreu. Uma axiomatização para o Cálculo Proposicional. Revista de Estudos Universitários - REU, Sorocaba, SP, v. 23, n. 1, p. 111–123, 2021. Disponível em: https://periodicos.uniso.br/reu/article/view/4281. Acesso em: 23 dez. 2024.