TY - RPRT TI - Elementary analytic functions in $VTC^0$ AU - Emil Jeřábek PY - 2023 DO - 10.1016/j.apal.2023.103269 UR - https://arxiv.org/abs/2206.12164 ID - 2206.12164 ER -