TY - JOUR AU - S. S. Goncharov AU - M. I. Marchuk TI - Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations JO - Algebra i logika PY - 2015 SP - 163 EP - 192 VL - 54 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_2015_54_2_a2/ LA - ru ID - AL_2015_54_2_a2 ER -