TY  - RPRT
TI  - Logics and Admissible Rules of Constructive Set Theories
AU  - Rosalie Iemhoff
AU  - Robert Passmann
PY  - 2022
UR  - https://arxiv.org/abs/2212.03105
ID  - 2212.03105
ER  -