The following pages link to Effectivity properties of intuitionistic set theory with collection scheme (Q650477):
Displayed 1 item.