Algebra i logika, Tome 31 (1992) no. 1, pp. 3-20
Citer cet article
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/
@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/}
}
TY - JOUR
AU - Yu. G. Ventsov
TI - A problem on the effective choice of constructivizations, and
JO - Algebra i logika
PY - 1992
SP - 3
EP - 20
VL - 31
IS - 1
UR - http://geodesic.mathdoc.fr/item/AL_1992_31_1_a0/
LA - ru
ID - AL_1992_31_1_a0
ER -
%0 Journal Article
%A Yu. G. Ventsov
%T A problem on the effective choice of constructivizations, and
%J Algebra i logika
%D 1992
%P 3-20
%V 31
%N 1
%U http://geodesic.mathdoc.fr/item/AL_1992_31_1_a0/
%G ru
%F AL_1992_31_1_a0
