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