Нікітченко, М.С.; Шкільняк, С.С.
(Проблеми програмування, 2012)
Досліджено першопорядкові композиційно-номінативні логіки часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів кванторно-екваційного рівня. Наведено основні семантичні властивості ...