Елена Попова//Логика свидетельств первого порядка со связывающей модальностью
1:33:59
Borja Sierra Miranda//Coalgebraic proof translations for non-wellfounded proofs
1:37:26
Абдуламин Исмаилов//Введение в теорию типов
1:20:45
Литературные встречи. Идеал. На вопросы отвечает Чингиз Айтматов (1987)
45:11
Предикаты
1:30:52
Елена Попова//Логика свидетельств: обзор
1:15:13
Сергей Павлович Одинцов//Слабо импликативные логики
1:23:55
СЕМЬ ВЕЛИЧАЙШИХ ПРОБЛЕМ ТЫСЯЧЕЛЕТИЯ!
1:22:28