TY  - RPRT
TI  - The Prehistory of the Subsystems of Second-Order Arithmetic
AU  - Walter Dean
AU  - Sean Walsh
PY  - 2016
UR  - https://arxiv.org/abs/1612.06219
ID  - 1612.06219
ER  -