Geodesic
Logic-free formalisations of recursive arithmetic
Mathematica Scandinavica, Tome 2 (1954), pp. 247-261

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : philosophy and foundations of mathematics 
@article{MS2_1954__2_165548,
     author = {R.L. GOODSTEIN},
     title = {Logic-free formalisations of recursive arithmetic},
     journal = {Mathematica Scandinavica},
     pages = {247--261},
     publisher = {mathdoc},
     volume = {2},
     year = {1954},
     zbl = {0058.24902},
     url = {http://geodesic.mathdoc.fr/item/MS2_1954__2_165548/}
}
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  - 
%0 Journal Article
%A R.L. GOODSTEIN
%T Logic-free formalisations of recursive arithmetic
%J Mathematica Scandinavica
%D 1954
%P 247-261
%V 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS2_1954__2_165548/
%F MS2_1954__2_165548
R.L. GOODSTEIN. Logic-free formalisations of recursive arithmetic. Mathematica Scandinavica, Tome 2 (1954), pp. 247-261. http://geodesic.mathdoc.fr/item/MS2_1954__2_165548/