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