Лекция 10. С.Л.Кузнецов. Неразрешимость задачи выводимости в MALC из гипотез

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

Дневной выпуск новостей Владимирской области за 26 мая 2022 года

27 апреля 2022

Промо. Детали недели. 8 декабря 2017

18 июля 2014

Русская литература. Урок 5. Существует ли женская проза? Тенденции и перспективы

2 марта 2017

Коротко о главном №1 от 02 03 2017г