Теория графов и математическая логика

Курс включает в себя логику высказываний, логику предикатов и аксиоматические теории