TY  - RPRT
TI  - Recursion and the Axiom of Infinity
AU  - Antonio Leon
PY  - 2012
UR  - https://arxiv.org/abs/math/0609190
ID  - math/0609190
ER  -