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

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

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

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