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

Marcelo Esteban Coniglio [Orientador], Luiz Carlos Pinheiro Dias Pereira, Geiza Maria Hamazaki da Silva, Rodolfo Ertola Biraben, Daniel Durante Pereira Alves