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

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

Задохина, Н. В. Математика и информатика. Решение логико-познавательных задач : Учебное пособие для студентов вузов

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

Бесценный, И. П. Математическая логика : Учебное пособие

Рязанов, Ю. Д. Дискретная математика : Учебное пособие