TY  - JOUR
AU  - D. V. Lytkina
TI  - Algebraically nonequivalent constructivization for

JO  - Algebra i logika
PY  - 1990
SP  - 659
EP  - 674
VL  - 29
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_1990_29_6_a3/
LA  - ru
ID  - AL_1990_29_6_a3
ER  -