UDC 004.42:510.69 3 algebra logic 3 УДК 004.42:510.69 3 алгебра 3 логика 3 логіка 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 logical consequence 1 program system 1 алгебра;композиція 1 композиция 1 логическое следствие 1 логічний наслідок 1 программная система 1 програмна система 1 пятизначная функция 1 пятизначный предикат 1 п’ятизначна функція 1 п’ятизначний предикат 1