логіка, логика, logic ; Теоретичні та методологічні основи програмування ; Проблеми програмування № 1-2016 ; предикат, предикат ; квазіарні предикати, квазиарные предикаты

Вивчаються відношення логічного наслідку в логіках тотальних однозначних, часткових однозначних, тотальних неоднозначних та часткових неоднозначних предикатів.

• Проблеми програмування [Текст] : наук. журн. — 2016. — 1. — 146 с.
• Проблеми програмування (ч/з) [Текст] : наук. журн. — К. : Ін-т програмних систем НАН України.

• УДК // Математична логіка
• УДК // Програмування комп’ютерів. Комп’ютерні програми