TY  - JOUR
AU  - R.L. GOODSTEIN
TI  - Logic-free formalisations of recursive arithmetic
JO  - Mathematica Scandinavica
PY  - 1954
SP  - 247
EP  - 261
VL  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MS2_1954__2_165548/
ID  - MS2_1954__2_165548
ER  -