Курс математической логики и теории вычислимости. Учебн.пос., 4-е изд., перераб. и доп
А. С. Герасимов
Обложка: