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] |