Нікітченко, М.С.; Шкільняк, C.С.
(Проблеми програмування, 2017)
Вивчаються чистi першопорядковi квазіарні логіки однозначних та неоднозначних часткових предикатів. Основна увага приділена таким логікам із спеціальними предикатами рівності. Виділено чистi першопорядковi логіки з предикатами ...