Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Dzierzgowski, Daniel
1995.
Constants in Kripke Models for Intuitionistic Logic.
Mathematical Logic Quarterly,
Vol. 41,
Issue. 4,
p.
431.
Dzierzgowski, Daniel
1996.
Finite Sets and Natural Numbers in Intuitionistic TT.
Notre Dame Journal of Formal Logic,
Vol. 37,
Issue. 4,
Lascar, Daniel
1997.
1996 European Summer Meeting of the Association for Symbolic Logic.
Bulletin of Symbolic Logic,
Vol. 3,
Issue. 2,
p.
242.
Dzierzgowski, Daniel
1998.
Finite Sets and Natural Numbers in Intuitionistic TT Without Extensionality.
Studia Logica,
Vol. 61,
Issue. 3,
p.
417.