TY - JOUR AU - L. L. Maksimova TI - The principle of separation of variables in propositional logics JO - Algebra i logika PY - 1976 SP - 168 EP - 184 VL - 15 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_1976_15_2_a2/ LA - ru ID - AL_1976_15_2_a2 ER -