Pošalji tekstualnu poruku: Применение методов математической логики. Секция : Логика взаимодействующих процессов. Секция : Алгоритмика трудных задач