Dissertação de Milton Augustinis de Castro

O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn