TY - JOUR AU - A. V. Gladkii TI - Прямое доказательство теоремы Мэтьюза JO - Algebra i logika PY - 1965 SP - 65 EP - 70 VL - 4 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_1965_4_4_a3/ LA - ru ID - AL_1965_4_4_a3 ER -