![](/img/cover-not-exists.png)
The Disjunction and Related Properties for Constructive Zermelo-Fraenkel Set Theory
Michael RathjenVolume:
70
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/27588423
Date:
December, 2005
File:
PDF, 1.92 MB
english, 2005