|
Шкільняк, О. С. Секвенційні числення логік часткових предикатів з розширеними реномінаціями [Текст] / О. С. Шкільняк // Вісник Київського національного університету імені Тараса Шевченка / КНУ ім. Т. Шевченка. – Київ : КНУ ім. Т. Шевченка, 2013. – С. 199-204. – (Серія "Фізико-математичні науки").
Досліджено нові класи першопорядкових композиційно-номінативних логік часткових однозначних та часткових неоднозначних предикатів. |