28 марта 2023 г. в 16:00 в ауд. 308 состоится семинар "Теоретические основы информатики"
Докладчик: Запрягаев Александр Александрович
Тема доклада: «Интерпретации в слабых арифметических теориях»