Предметом даного курсу є функціональні і формальні системи логіки: алгебра логіки (висловлень і предикатів), класичні числення висловлень і предикатів, формальні аксіоматичні теорії.
- Автор курсу: Волошина Тетяна Володимирівна
- Автор курсу: Собчук Оксана