Voltar aos Detalhes do Artigo Uma axiomatização para o Cálculo Proposicional Baixar Baixar PDF