Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету

числення секвенційне, исчисление секвенциальное

Документи:

Нікітченко, М. С. Композиційно-номінативні логіки із спеціальними предикатами наявності значення для змінних [Текст] / М. С. Нікітченко, С. С. Шкільняк // Вісник Київського національного університету імені Тараса Шевченка / КНУ ім. Т. Шевченка. – Київ : КНУ ім. Т. Шевченка, 2013. – С. 128-133. – (Серія "Фізико-математичні науки").
Пынько, А. П. Алгебразуемость секвенциальных исчислений для конечнозначных логик с определителем равенства [Текст] / А. П. Пынько // Доповіді НАНУ. – 2005. – № 3. – 66-71.
Шкільняк, О. С. Секвенційні числення логік часткових предикатів з розширеними реномінаціями [Текст] / О. С. Шкільняк // Вісник Київського національного університету імені Тараса Шевченка / КНУ ім. Т. Шевченка. – Київ : КНУ ім. Т. Шевченка, 2013. – С. 199-204. – (Серія "Фізико-математичні науки").