A problem on the effective choice of constructivizations, and
Algebra i logika, Tome 31 (1992) no. 1, pp. 3-20
@article{AL_1992_31_1_a0,
author = {Yu. G. Ventsov},
title = {A problem on the effective choice of constructivizations, and},
journal = {Algebra i logika},
pages = {3--20},
year = {1992},
volume = {31},
number = {1},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_1992_31_1_a0/}
}
Yu. G. Ventsov. A problem on the effective choice of constructivizations, and. Algebra i logika, Tome 31 (1992) no. 1, pp. 3-20. http://geodesic.mathdoc.fr/item/AL_1992_31_1_a0/