TY  - RPRT
TI  - Primitive recursive reverse mathematics
AU  - Nikolay Bazhenov
AU  - Marta Fiori-Carones
AU  - Lu Liu
AU  - Alexander Melnikov
PY  - 2022
DO  - 10.1016/j.apal.2023.103354
UR  - https://arxiv.org/abs/2210.13080
ID  - 2210.13080
ER  -