TY  - RPRT
TI  - On a total function which overtakes all total recursive functions
AU  - N. C. A. da Costa
AU  - F. A. Doria
PY  - 2001
UR  - https://arxiv.org/abs/math/0106099
ID  - math/0106099
ER  -