The problem of effective choice of constructivizations
Matematičeskie trudy, Tome 25 (1993), pp. 35-40
Cet article a éte moissonné depuis 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},
year = {1993},
volume = {25},
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/