Александр Герасимов //Бесконечнозначная первопорядковая логика Лукасевича: ...
1:18:51
Дарья Криницина //Формализация теории ∞-категорий.
1:35:46
Федор Пахомов//Инфинитарная логика доказуемости
1:24:41
Павел Разумный//Об алгоритмической сложности логики QGL, расширенной нефундированными выводами
1:32:30
Михаил Рыбаков//Погружение интуиционистской и близких логик в их фрагменты от одной-двух переменных
1:30:37
Александр Герасимов//Бесконечнозначная первопорядковая логика Лукасевича.
27:32
ВАЖНО! ПОТАПЕНКО: "Теперь ждем этого". Что будет после ссоры Зеленского и Трампа, что получит Путин
16:17
Craziest Animal Encounters of All Time
17:03