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

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

28 апреля 2022

ВН«Медиа сапиенс» 10 сентября 2013

4 сентября 2022

Суперкорабли Древних цивилизаций.

25 апреля 2018

Где большой пальчик? | детские песни | Литл Бэйби Бум

5 ноября 2024

Лекция 5. Д.Д. Киселев. Стандартные базисы Гребнера–Ширшова и смежные вопросы