TY  - RPRT
TI  - Real Functions and its Differentiation in Alternative Set Theory
AU  - Kiri Sakahara
AU  - Takashi Sato
PY  - 2020
UR  - https://arxiv.org/abs/2007.08741
ID  - 2007.08741
ER  -