TY - JOUR AU - М.Ф. Раца TI - О полноте систем формул в двойственностно цепных логиках JO - Matematičeskie issledovaniâ PY - 1987 SP - 71 EP - 93 VL - 98 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MI_1987__98_189950/ LA - ru ID - MI_1987__98_189950 ER -