Text this: Курс математической логики и теории вычислимости: учебное пособие для вузов