Шкільняк Степан Степанович. Спектр логік часткових предикатів, орієнтованих на композиційнo-номінативні моделі програм : Дис... д-ра наук: 01.05.01 - 2010.