TY  - RPRT
TI  - Provably Total Functions of Arithmetic with Basic Terms
AU  - Evgeny Makarov
PY  - 2012
DO  - 10.4204/eptcs.75.3
UR  - https://arxiv.org/abs/1201.1121
ID  - 1201.1121
ER  -