Кафедра математической логики и логического программирования