TY  - RPRT
TI  - On the existence of certain total recursive functions in nontrivial axiom systems, I
AU  - N. C. A. da Costa
AU  - F. A. Doria
PY  - 1998
UR  - https://arxiv.org/abs/cmp-lg/9804005
ID  - cmp-lg/9804005
ER  -