@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/}
}