Лекция 8. Л. Д. Беклемишев, Т. Л. Яворская. Доказуемость и формальная арифметика

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

1 ноября 2024

Тест насколько ты образован? Ещё никому не удалось ответить на все 20 вопросов!

27 апреля 2022

«Время новостей». Волшебная сказка Пармы. 27 февраля 2017

25 сентября 2024

Русская аспектология — Алексей Шмелев

30 сентября 2024

Как «Мой сосед Тоторо» возвращает нас в детство?