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

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

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

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

Хворостухина, Е. В. Математическая логика : Учебное пособие

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