article · 1981An approach to the constructivization of Cantor's set theory0 citationsDOI: https://doi.org/10.1007/bf01404104