Герасимов А. С. Курс математической логики и теории вычислимости : учебное пособие : [для студентов по направлению подготовки "Компьютерные и информационные науки", "Информатика и вычислительная техника" и др.] / А. С. Герасимов. - Изд. 4-е, перераб. и доп.. - Санкт-Петербург [и др.] : Лань, 2014. - 409 с.: ил., табл. - ( Учебники для вузов. Специальная литература )