Введение
Множества и операции над ними
Алгебра логики
Исчисление высказываний
Логика и исчисление предикатов
Задачи
Тестовые задания
© Ирина Агеева, 2003 ;
Приднестровский Государственный Университет
