Введение в алгебру логики
[Презентация Булева_Алгебра]
Построения в области алгебры логики
[Презентация Логика_Предикатов_Первого_Порядка]
[Презентация Основы_Логики_Предикатов_Первого_Порядка]
[Презентация Автоматизированные_Построения_В_Математике]
Введение в теорию множеств
[Презентация Введение_В_Теорию_Множеств]
[Презентация Теория_Множеств]
Построения в области теории множеств
[Презентация Парадокс_Рассела]
[Презентация Парадокс_Кантора]