Провотар О. І. Про локальну коректність формальних визначень / О. І. Провотар // Пробл. програмув. - 2006. - 2-3 [спец. вип.]. - С. 13-16. - Бібліогр.: 6 назв. - укp.
Проаналізовано діагональну процедуру Кантора та наведено приклади доведення теорем, що її використовують. Досліджено питання коректності таких доведень і наслідки в теорії обчислень.
Шифр НБУВ: Ж16833Пошук видання у каталогах НБУВДодаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"