TY - JOUR AU - A. V. Gladkii TI - The algorithmic character of invariant properties of JO - Algebra i logika PY - 1964 SP - 17 EP - 31 VL - 3 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_1964_3_2_a1/ LA - ru ID - AL_1964_3_2_a1 ER -