TY  - RPRT
TI  - A Logical Framework for Set Theories
AU  - Arnon Avron
PY  - 2012
DO  - 10.4204/eptcs.81.1
UR  - https://arxiv.org/abs/1203.6157
ID  - 1203.6157
ER  -