Курс математической логики и теории вычислимости учебное пособие - Герасимов, Александр Сергеевич (Лема, 2011)