TY  - RPRT
TI  - De Jongh's Theorem for Intuitionistic Zermelo-Fraenkel Set Theory
AU  - Robert Passmann
PY  - 2019
UR  - https://arxiv.org/abs/1905.04972
ID  - 1905.04972
ER  -