Математична логіка та алгоритмічно нерозв'язні задачі

Данило Якименко

к.ф.-м.н.

Інститут математики НАН України

Наукова світлиця

2016