数理逻辑, 菲利普·韦尔奇, 布里斯托大学, 2021

2022-9-10 0:25

[视频作者] Teichmuller

[视频时长] 1465:6

[视频类型] 校园学习

https://people.maths.bris.ac.uk/~mapdw/teaching.html Propositional and Predicate Calculus, the Gödel Completeness and First Incompleteness Theorems

回复编辑 ⇧顶 ⇩沉

影音视频访问链接

以下链接为影音视频“数理逻辑, 菲利普·韦尔奇, 布里斯托大学, 2021”在线访问地址，点击链接就可以访问查看啦

www.bilibili.com

说两句