TY  - RPRT
TI  - An interpretation of the Sigma-2 fragment of classical Analysis in System T
AU  - Danko Ilik
PY  - 2015
UR  - https://arxiv.org/abs/1301.5089
ID  - 1301.5089
ER  -