Никита Лукашов//Допустимые правила в модальных логиках
1:24:59
Никита Лукашов//Допустимые правила вывода в IPC
21:01
Watch Trudeau speak directly to Trump during blistering speech
9:20
ШАХМАТЫ. РИХАРД РЕТИ И ЕГО ДЕБЮТ. ВОСХИТИТЕЛЬНАЯ ПАРТИЯ.ЧЕМПИОН МИРА ХОСЕ КАПАБЛАНКА БЫЛ ОБРЕЧЁН.
1:35:46
Федор Пахомов//Инфинитарная логика доказуемости
1:24:41
Павел Разумный//Об алгоритмической сложности логики QGL, расширенной нефундированными выводами
1:27:40
Станислав Сперанский//Сильная неразрешимость и первая теорема Гёделя о неполноте
19:54
Самая невероятная жертва в истории шахмат! Великий Чемпион Мира Борис Спасский.
13:50