Лекция 8. С.Л. Кузнецов. Теорема о сильной нормализуемости для типового лямбда-исчисления окон…

Мы рекомендуем

25 октября 2024

2021 Superbet Chess Classic | 8-й день | ⚔️ Мамедьяров, Грищук, Со, Гири, Раджабов ♟️ Шахматы

28 апреля 2022

Супрядкина Французы в Воркуте 21 09

25 октября 2024

Если хочешь служить Богу #сундаков #богиславян #славяне #славянскаямифология

3 июня 2015

С.Лавров по итогам заседания СМИД ШОС