filmov
tv
Лекция 1. М.Р. Пентус. Синтаксическое исчисление Ламбека
Показать описание
2023 г. НОЦ. Неклассические логики
М.Р. Пентус. Синтаксическое исчисление Ламбека
15 февраля 2023 г. 18:00, г. Москва, МИАН, комн. 313 (ул. Губкина, 8) + online
М.Р. Пентус. Синтаксическое исчисление Ламбека
15 февраля 2023 г. 18:00, г. Москва, МИАН, комн. 313 (ул. Губкина, 8) + online
1:32:57
1:44:16
1:42:44
1:31:36
1:20:20
0:16:13
2:21:33
1:05:50
1:35:38
1:27:43
2:11:52
0:33:52
1:23:51
1:44:31
1:24:52
1:35:06
1:22:44
1:54:27
1:15:49
1:37:36
1:44:09
1:50:16
1:23:22
1:40:16