The disjunction and other properties for constructive Zermelo-Fraenkel set theory (0)

by M Rathjen
Venue:Journal of Symbolic Logic