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

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

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

Задачник-практикум по математике. Книга 1. Часть I–II

Маньшин, М. Е. Математическая логика и теория алгоритмов : Учебное пособие

Основы математической обработки информации. Часть I. Алгебра логики