@article{CM_1968__20__70_0,
author = {Goodstein, R. L.},
title = {Existence in mathematics},
journal = {Compositio Mathematica},
volume = {20},
year = {1968},
pages = {70-82},
mrnumber = {224413},
zbl = {0162.30901},
language = {en},
url = {http://dml.mathdoc.fr/item/CM_1968__20__70_0}
}
Goodstein, R. L. Existence in mathematics. Compositio Mathematica, Tome 20 (1968) pp. 70-82. http://gdmltest.u-ga.fr/item/CM_1968__20__70_0/