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

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

22 октября 2024

Звуки природы

15 октября 2024

Маша и Медведь — Песенка про умывание

28 октября 2024

В Рязани прошли секции Рождественских чтений, посвященные семье, образованию и медицине (06.12.2023)

16 июня 2020

Как спасали САЛЮТ-7 на самом деле!