Математична логіка

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