... Основы информатики и математики . ... Множества, отношения, функции. ... Математическая логика и теория доказательств. ... Язык наивной теории множеств. ... Александров П.С. Введение в теорию множеств и общую топологию. ... Богомолов А.М., Салий В.Н. Алгебраические основы теории дискретных систем. ... Бурбаки Н. Теория множеств. ... Ван Хао, Мак-Нотон Р. Аксиоматические системы теории множеств. ... Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. ...