Лекция 9. С.Л. Кузнецов. Интуиционистская логика первого порядка, ч. 2

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

8 октября 2024

Пуск РН Союз-У с ТГК Прогресс М-12М (HD)

13 октября 2021

Курсы по экономике ВШЭ Микроэкономика 10.6 Аукционы

15 октября 2024

Археология общественных процессов древности. Часть 1. Роберт Дреннан. Crossroads II

27 апреля 2022

Детали дня. Личный прием. 16.05.18.