Васюков, В. Л. Квантовая логика

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

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

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

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

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