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

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

Брусенцев, А. Г. Исследование операций и теория игр : Учебное пособие

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

Яшин, Б. Л. Математика в контексте философских проблем : Учебное пособие

Мальцев, А. А. Основы дифференциального и интегрального исчисления функции одной переменной : Учебное пособие