| |
| 2000 | ||
|---|---|---|
| 6 | EE | Daniel Dzierzgowski, Olivier Esser, Roland Hinnion: Fixed-points of Set-continuous Operators. Math. Log. Q. 46(2): 183-198 (2000) |
| 1998 | ||
| 5 | Daniel Dzierzgowski: Finite Sets and Natural Numbers in Intuitionistic TT Without Extensionality. Studia Logica 61(3): 417-428 (1998) | |
| 1996 | ||
| 4 | Daniel Dzierzgowski: Finite Sets and Natural Numbers in Intuitionistic TT. Notre Dame Journal of Formal Logic 37(4): 585-601 (1996) | |
| 1995 | ||
| 3 | Daniel Dzierzgowski: Models of Intuitionistic TT and NF. J. Symb. Log. 60(2): 640-653 (1995) | |
| 2 | Daniel Dzierzgowski: Constants in Kripke Models for Intuitionistic Logic. Math. Log. Q. 41: 431-441 (1995) | |
| 1993 | ||
| 1 | Daniel Dzierzgowski: Typical Ambiguity and Elementary Equivalence. Math. Log. Q. 39: 436-446 (1993) | |
| 1 | Olivier Esser | [6] |
| 2 | Roland Hinnion | [6] |