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

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

Яхъяева, Г. Э. Нечеткие множества и нейронные сети : Учебное пособие

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

Дехтярь, М. И. Сборник задач по множествам, булевым функциям и математической логике : Учебное пособие

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