TY  - RPRT
TI  - The independence of premise rule in intuitionistic set theories
AU  - Takako Nemoto
AU  - Michael Rathjen
PY  - 2019
UR  - https://arxiv.org/abs/1911.08027
ID  - 1911.08027
ER  -