(NmETODY RE[ENIQ BULEWYH URAWNENIJ (B/s - (NkATERINO^KINA(B, (Nn(B.(Nn(B.s; (NkOROLEWA(B, (Nz(B.(Ne(B.s; (NmADATQN(B, (Nh(B.(Na(B.s; (NpLATONENKO(B, (Ni(B.(Nm(B.s ((NmOSKWA (B:s (Nwc an sssr(B,s, 1988)
(NbIBLIOGR(B.: (NS(B. 19-21s
Keywords: (NaLGEBRA LOGIKIs