Іншими мовами Вейль Г., О философии математики, пер. с нем., М.— Л., 1934; Марков А. А., Нагорный Н. М., Теория алгоритмов, М., 1984; Мальцев А. И., Алгоритмы и рекурсивные функции, М., 1965; Роджерс X., Теория рекурсивных функций и эффективная вычислимость, пер. с англ., М., 1972; Успенский В. А., Машина Поста, М., 1979; его же, Теорема Гёделя о неполноте, М., 1982; Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций. Сб. переводов, М., 1970; Колмогоров А. Н., «Проблемы передачи информации», 1965, т. 1, № 1, с. 3—11;