12+1:49:2620260322: Олег Доманов, Наблюдательная теория типов в семантике естественного языка7просмотров3 месяца назад
12+50:3220200926: Виктория Сухарева о 1-2 параграфах второй главы книги "Основания теории множеств"5просмотров4 года назад
12+41:0320200919: Виктория Сухарева о первой главе книги "Основания теории множеств"7просмотров4 года назад
12+1:30:1320200913: Илья Гущин о работе Н. Уивера "Интуиционизм и парадокс лжеца"1просмотр4 года назад
12+1:13:1020200823: Лев Ламберов о работе П. Мартин-Лёфа "О значениях логических констант..."5просмотров4 года назад
12+1:00:4520200808: Ольга Козырева о работе Г. Шер "Логика в сознании или логика в мире?"3просмотра4 года назад
12+1:06:3120200803: Виктория Сухарева о работе М. Максуини "Следуя за логическим реализмом"2просмотра4 года назад