TY  - RPRT
TI  - Computational reverse mathematics and foundational analysis
AU  - Benedict Eastaugh
PY  - 2018
UR  - https://arxiv.org/abs/1807.10022
ID  - 1807.10022
ER  -