| |
| 2007 | ||
|---|---|---|
| 2 | EE | Wagner de Campos Sanz: A Note on Gentzen's LJ and NJ Systems Isomorphism. Logic Journal of the IGPL 15(5-6): 767-774 (2007) |
| 2004 | ||
| 1 | EE | Wagner de Campos Sanz: Relating Intuitionist Negation and Triviality. Logic Journal of the IGPL 12(6): 581-599 (2004) |