Брюшинкин, В. Н. Теория поиска вывода. Происхождение и философские приложения : Монография

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

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

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

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

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