filmov
tv
Lecture series on concrete incompleteness-1: Cut elimination theorem
Показать описание
Lecture series on concrete incompleteness at Wuhan University
Lecture one: Cut elimination theorem
Date and Time：2023-07-31, 10:00-12:00 Beijing Time (UTC+8)
Speaker: Prof. Andreas Weiermann (Ghent University, Belgium)
Lecture one: Cut elimination theorem
Date and Time：2023-07-31, 10:00-12:00 Beijing Time (UTC+8)
Speaker: Prof. Andreas Weiermann (Ghent University, Belgium)
1:44:57
2:11:22
2:25:58
2:40:39
0:25:46
0:14:49
0:24:53
1:42:21
2:09:55
0:09:09
0:00:16
1:01:05
1:14:38
0:56:27
0:53:25
1:43:56
0:36:51
1:05:53
0:19:43
0:18:14
0:41:04
1:05:11
0:41:30
1:02:39