Побудовано секвенційні числення для нових класів програмно-орієнтовних логічних формалізмів - чистих першопорядкових транзиційних композиційно-номінативних модальних логік еквітонних предикатів. Для цих числень доведено теореми коректності та повноти.
Шифр НБУВ: Ж28079/фіз.-мат.Пошук видання у каталогах НБУВДодаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"