![]() |
| 2005 | ||
|---|---|---|
| 2 | EE | Andreas B. M. Brunner, Walter Alexandre Carnielli: Anti-intuitionism and paraconsistency. J. Applied Logic 3(1): 161-184 (2005) |
| 2004 | ||
| 1 | EE | Andreas B. M. Brunner, Francisco Miraglia: An Omitting Types Theorem for Sheaves over Topological Spaces. Logic Journal of the IGPL 12(6): 525-548 (2004) |
| 1 | Walter Alexandre Carnielli | [2] |
| 2 | Francisco Miraglia | [1] |