TY - JOUR AU - N. G. Khisamiev TI - The relation between constructivizability and strong JO - Algebra i logika PY - 1984 SP - 319 EP - 335 VL - 23 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_1984_23_3_a5/ LA - ru ID - AL_1984_23_3_a5 ER -