Tese de Wagner de Campos Sanz

Uma investigação acerca das regras para a negação e o absurdo em dedução natural