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