%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://archive.numdam.org/item/CM_1968__20__70_0/
%G en
%F CM_1968__20__70_0