Daniel Dzierzgowski

Publication Activity (10 Years)

Years Active: 1988-2000
Publications (10 Years): 0

Publications

Daniel Dzierzgowski, Olivier Esser, Roland Hinnion
Fixed-points of Set-continuous Operators. Math. Log. Q. 46 (2) (2000)
Daniel Dzierzgowski
Finite Sets and Natural Numbers in Intuitionistic TT Without Extensionality. Stud Logica 61 (3) (1998)
Daniel Dzierzgowski
Finite Sets and Natural Numbers in Intuitionistic TT. Notre Dame J. Formal Log. 37 (4) (1996)
Daniel Dzierzgowski
Constants in Kripke Models for Intuitionistic Logic. Math. Log. Q. 41 (1995)
Daniel Dzierzgowski
Models of Intuitionistic TT and NF. J. Symb. Log. 60 (2) (1995)
Daniel Dzierzgowski
Typical Ambiguity and Elementary Equivalence. Math. Log. Q. 39 (1993)
Daniel Dzierzgowski
Intuitionistic typical ambiguity. Arch. Math. Log. 31 (3) (1992)
Daniel Dzierzgowski
Many-sorted elementary equivalence. Notre Dame J. Formal Log. 29 (4) (1988)