Андрей Константинов Сариев Главен асистентДокторМатематическа логика и приложенията ѝИмейл: andreys@fmi.uni-sofia.bg