Voir la notice de l'article provenant de la source Numdam
@article{CM_1968__20__133_0, author = {Lorenzen, P.}, title = {Constructive mathematics as a philosophical problem}, journal = {Compositio Mathematica}, pages = {133--142}, publisher = {Wolters-Noordhoff Publishing}, volume = {20}, year = {1968}, mrnumber = {224426}, zbl = {0169.29302}, language = {en}, url = {http://geodesic.mathdoc.fr/item/CM_1968__20__133_0/} }
Lorenzen, P. Constructive mathematics as a philosophical problem. Compositio Mathematica, Tome 20 (1968), pp. 133-142. http://geodesic.mathdoc.fr/item/CM_1968__20__133_0/