Математична логіка та алгоритмічно нерозв'язні задачі - 2
Данило Якименко
к.ф.-м.н.
Інститут математики НАН України
Наукова світлиця
2016
