| Акимов О.Е. Дискретная математика. Логика, группы, графы. - М.: Лаборатория Базовых Знаний, 2000. |
| Александров П.С. Введение в теорию множеств и общую топологию. - М.: Наука, 1977. |
| Андерсон Д. Дискретная математика и комбинаторика. - М.: Вильямс, 2003. |
| Беран Л. Упорядоченные множества. - М.: Наука, 1981. |
| Биркгоф Г. Теория решеток. - М.: Наука, 1984. |
| Богомолов А.М., Салий В.Н. Алгебраические основы теории дискретных систем. - М.: Наука, 1997. |
| Бурбаки Н. Теория множеств. - М.: Мир, 1965. |
| Ван Хао, Мак-Нотон Р. Аксиоматические системы теории множеств. - М.: ИЛ, 1963. |
| Верещагин Н.К., Шень А. Начала теории множеств. - М.: МЦНМО, 2002. |
| Владимиров Д.А. Булевы алгебры. - М.: Наука, 1969. |
| Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики. - М.: Наука, 1979. |
| Гончаров С.С. Счетные булевы алгебры. - Новосибирск: Наука, 1988. |
| Горбатов В.А. Основы дискретной математики. - М.: ВШ, 1986. |
| Горбатов В.А. Фундаментальные основы дискретной математики. - М.: Наука, 2000. |
| Джонстон П.Т. Теория топосов. - М.: Наука, 1986. |
| Ерусалимский Я.М. Дискретная математика. - М.: Вузовская книга, 1998. |
| Ильин В.А., Куркина А.В. Высшая математика. - М.: Проспект, 2002. |
| Калман Р., Фалб П., Арбиб М. Очерки по математической теории систем. - М.: Мир, 1971. |
| Кон П. Универсальная алгебра. - М.: Мир, 1968. |
| Копытов В.М. Решеточно упорядоченные группы. - М.: Наука, 1984. |
| Куратовский К., Мостовский А. Теория множеств. - М.: Мир, 1970. |
| Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. - М.: Физматлит, 2001. |
| Ларин С.В. Числовые системы. - М.: Академия, 2001. |
| Мальцев А.И. Алгебраические системы. - М.: Наука, 1970. |
| Мишина А.П., Проскуряков И.В. Высшая алгебра. - М.: Физматлит, 1962. |
| Мостовский А. Конструктивные множества и их приложения. - М.: Мир, 1973. |
| Непейвода Н.Н. Прикладная логика. - Новосибирск: Изд-во НГУ, 2000. |
| Нечаев В.И. Числовые системы. - М.: Просвещение, 1975. |
| Пинус А.Г. Основы универсальной алгебры. - Новосибирск: НГТУ, 2000. |
| Робинсон А. Введение в теорию моделей и метаматематику алгебры. - М.: Наука, 1967. |
| Романовский И.В. Дискретный анализ. - СПб.: Невский диалект, 1999. |
| Садовничий В.А. Теория операторов. - М.: ВШ, 1999. |
| Сикорский Р. Булевы алгебры. - М.: Мир, 1969. |
| Скорняков Л.А. Элементы теории структур. - М.: Наука, 1982. |
| Скорняков Л.А. (ред.). Общая алгебра. Т. 1, 2. - М.: Наука, 1990, 1991. |
| Смирнов В.И. Курс высшей математики. Т. I-V. М.: Физматгиз, 1958-1959. |
| Стол Р.Р. Множества. Логика. Аксиоматические теории. - М.: Просвещение, 1968. |
| Феферман С. Числовые системы. Основание алгебры и анализа. - М.: Наука, 1971. |
| Фукс Л. Частично упорядоченные алгебраические системы. - М.: Мир, 1965. |
| Яблонский С.В. Введение в дискретную математику. - М.: Наука, 1986. |
| Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. Функции алгебры логики и классы Поста. - М.: Наука, 1966. |
| Dedekind R. What are Numbers and What Should They Be? - RIM, Orona, Maine, 1995. |
| Gratzer G. Universal Algebra. - Springer-Verlag, New York, 1979. |
| Kaplansky I. Set Theory and Metric Spaces. - Chelsea, New York, 1977. |
| Mazzola G., Milmeister G., Weissmann J. Comprehensive Mathematics for Computer Scientists 1. - Springer-Verlag, 2004. |
| Michaels J.G., Rosen K.H. Applications of Discrete Mathematics. - McGraw-Hill, New York, 1992. |
| Monk J.D., Bonnet R., Editors. Handbook of Boolean Algebras. - North Holland, Amsterdam, 1989. |