Лекции по математической логике и теории алгоритмов
Юрий Белов
В. А. Соколов
Обложка: