algebra 4 logic 4 УДК 004.42:510.69 4 алгебра логика 4 логіка 4 UDC 004.42:510.69 3 non-deterministic predicate 2 недетерминированный предикат 2 недетермінований предикат 2 7-valued predicate 1 7-зна­чный предикат 1 7-значний предикат 1 composition 1 five-valued function 1 five-valued predicate 1 isomorphism 1 logical consequence 1 program system 1 quasiary predicate 1 relation 1 алгебра;композиція 1 изоморфизм 1 квазиарный предикат 1 квазіарний предикат 1 композиция 1 логическое следствие 1 логічний наслідок 1 программная система 1 програмна система 1