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

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

28 сентября 2024

Ксения Захарова-Николай Мальцев. «Возьми мою руку». Большой балет-2018

14 сентября 2021

Пензенские полицейские раскрыли дело о краже велосипеда

6 февраля 2024

Эфир 6 февраля 2024 г.

29 ноября 2020

Новейшие роботы и технологии будущего: все новости технологий за ноябрь в одном выпуске!