 Никитченко, Н. С. Рубрикатор НБУВ: Шифр журнала: Анотація: Визначено та досліджено композиції часткових предикатів граничного високого рівня абстракції, які є основою інфінітарних пропозиційних логік. Наведено повний опис таких композицій в термінах спеціальних алгебр, названих алгебрами Кліні, та побудовано повну систему тотожностей для таких композицій. !oprip481_H.pft: FILE NOT FOUND! Видання зберігається у : |