Литература, которая при изучении данного предмета может оказаться полезной:
В.И.Игошин. Математическая логика и теория алгоритмов.
А.К. Гуц. Математическая логика и теория алгоритмов.