На Librarion размещена новая книга: Н.К. Верещагин, А. Шень. - Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции.