TY  - RPRT
TI  - No-counterexample interpretation et spécification des théorèmes de l'arithmétique
AU  - Denis Bonnay
PY  - 2005
UR  - https://arxiv.org/abs/math/0501476
ID  - math/0501476
ER  -