TY - JOUR AU - M. G. Peretyat'kin TI - A criterion of strong constructivizability of a homogeneous JO - Algebra i logika PY - 1978 SP - 436 EP - 454 VL - 17 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_1978_17_4_a4/ LA - ru ID - AL_1978_17_4_a4 ER -