@article{CM_1968__20__70_0,
     author = {Goodstein, R. L.},
     title = {Existence in mathematics},
     journal = {Compositio Mathematica},
     pages = {70--82},
     publisher = {Wolters-Noordhoff Publishing},
     volume = {20},
     year = {1968},
     mrnumber = {224413},
     zbl = {0162.30901},
     language = {en},
     url = {http://www.numdam.org/item/CM_1968__20__70_0/}
}

TY  - JOUR
AU  - Goodstein, R. L.
TI  - Existence in mathematics
JO  - Compositio Mathematica
PY  - 1968
SP  - 70
EP  - 82
VL  - 20
PB  - Wolters-Noordhoff Publishing
UR  - http://www.numdam.org/item/CM_1968__20__70_0/
LA  - en
ID  - CM_1968__20__70_0
ER  - 

%0 Journal Article
%A Goodstein, R. L.
%T Existence in mathematics
%J Compositio Mathematica
%D 1968
%P 70-82
%V 20
%I Wolters-Noordhoff Publishing
%U http://www.numdam.org/item/CM_1968__20__70_0/
%G en
%F CM_1968__20__70_0

Goodstein, R. L. Existence in mathematics. Compositio Mathematica, Tome 20 (1968), pp. 70-82. http://www.numdam.org/item/CM_1968__20__70_0/