Нікітченко, М. С.     Пропозиційні логіки часткових предикатів з композицією предикатного доповнення / М. С. Нікітченко, О. С. Шкільняк, С. С. Шкільняк // Проблеми програмування : науковий журнал. - 2019. - № 1. - С. 3-13. - Бібліогр. в кінці ст. . - ISSN 1727-4907 Кл.слова (ненормовані): логіка -- предикат -- логічний наслідок -- секвенційне числення Дод.точки доступу: Шкільняк, О. С. Шкільняк, С. С. Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1)