Начало / Университетът / Факултети / Факултет по математика и информатика / Катедри и лаборатории / Катедри / Математическа логика и приложенията й