Лекции по математической логике и теории алгоритмов.

Авторы: Н. к. Верещагин, а. шень.

Эти книги были написаны по материалам лекций и рассматривают важные темы математической логики, среди которых, к примеру, понятия "Наивной Теории Множеств", основные понятия общей теории вычислимых функций, логики высказываний и многого другого. Также каждая книга насчитывает более ста заданий разной степени сложности для закрепления материала