Voir la notice de l'article provenant de la source Math-Net.Ru
@article{MT_1993_25_a1, author = {Yu. G. Ventsov}, title = {The problem of effective choice of constructivizations}, journal = {Matemati\v{c}eskie trudy}, pages = {35--40}, publisher = {mathdoc}, volume = {25}, year = {1993}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/MT_1993_25_a1/} }
Yu. G. Ventsov. The problem of effective choice of constructivizations. Matematičeskie trudy, Tome 25 (1993), pp. 35-40. http://geodesic.mathdoc.fr/item/MT_1993_25_a1/