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