MathNet | ИСТИНА | СУНЦ
Информация о семинарах по курсу «Введение в математическую логику и теорию алгоритмов» в группах 209/210, 2021 г.