 | 2000 |
|---|
| 6 |       | 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page