К: Просвита, 2003 г. , 288 с.
Множества.
Теория отношений.
Отображения. Функции.
Мощность множеств.
Отношение порядка.
Решетки.
Строение и представление решеток.
Графы.
Булева алгебра.
Логика высказываний.
Формальные теории.
Исчисление высказываний.
Теория предикатов первого порядка.
Автоматическое доказательство теорем.
Свойства теорий первого порядка.
Теория алгоритмов.
Множества.
Теория отношений.
Отображения. Функции.
Мощность множеств.
Отношение порядка.
Решетки.
Строение и представление решеток.
Графы.
Булева алгебра.
Логика высказываний.
Формальные теории.
Исчисление высказываний.
Теория предикатов первого порядка.
Автоматическое доказательство теорем.
Свойства теорий первого порядка.
Теория алгоритмов.