Uma investigação acerca das regras para a negação e o absurdo em dedução natural - Sanz, Wagner de Campos (2006)
Orientador: Marcelo Esteban Coniglio