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