constructive set theory

GPTKB entity