TY  - RPRT
TI  - Derivatives of normal functions in reverse mathematics
AU  - Anton Freund
AU  - Michael Rathjen
PY  - 2021
DO  - 10.1016/j.apal.2020.102890
UR  - https://arxiv.org/abs/1904.04630
ID  - 1904.04630
ER  -