Горюшкин, А. П. Математическая логика и теория алгоритмов : Учебник

Алябьева, В. Г. Математическая логика : Учебное пособие

Кулькова, Л. И. Сборник задач и упражнений по теории алгоритмов : Учебно-методическое пособие

Куликов, В. Г. Теория алгоритмов : Учебно-методическое пособие

Геут, К. Л. Математическая логика и теория алгоритмов : Учебно-методическое пособие

Унучек, С. А. Математическая логика : Учебное пособие