TY  - RPRT
TI  - Arithmetical Foundations - Recursion. Evaluation. Consistency
AU  - Michael Pfender
PY  - 2015
UR  - https://arxiv.org/abs/1312.7275
ID  - 1312.7275
ER  -