TY  - JOUR
AU  - Yu. G. Ventsov
TI  - The problem of effective choice of constructivizations
JO  - Matematičeskie trudy
PY  - 1993
SP  - 35
EP  - 40
VL  - 25
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MT_1993_25_a1/
LA  - ru
ID  - MT_1993_25_a1
ER  -