Асеева Т.В. Математическая логика и теория алгоритмов : Учеб. пособие / Т.В. Асеева, 2005. - 103 с. - Текст : непосредственный.