Задачи и упражнения по математической логике и теории алгоритмов. ISBN ...