TY - RPRT TI - Euler diagrams as an introduction to set-theoretical models AU - Ryo Takemura PY - 2015 UR - https://arxiv.org/abs/1507.03684 ID - 1507.03684 ER -