TY - JOUR AU - V. V. Rybakov TI - Decidability of the problem of admissibility in finite-layered JO - Algebra i logika PY - 1984 SP - 100 EP - 116 VL - 23 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_1984_23_1_a5/ LA - ru ID - AL_1984_23_1_a5 ER -