小不点搜索 登录

莫绍揆《数理逻辑初步》6-第二章数理逻辑主要内容:五大部分:基础逻辑演算为主,公理集合论,证明论,递归函数轮,模型轮;1公理集合论与证明论:改造集合论,相容性证

[视频作者] 语言树
[视频时长] 21:41
#万物研究所,数理逻辑#
[视频类型] 科学科普
莫绍揆《数理逻辑初步》6-第二章数理逻辑主要内容:五大部分:基础逻辑演算为主,公理集合论,证明论,递归函数轮,模型轮;1公理集合论与证明论:改造集合论,相容性证
以上内容由小不点搜索引擎从网站www.bilibili.com自动化索引镜像而来,不代表网站的即时内容,也无法确保其有效性;仅限个人学习使用,禁止商用。如有任何异议,请使用举报删除
影音视频访问链接
以下链接为影音视频“莫绍揆《数理逻辑初步》6-第二章数理逻辑主要内容:五大部分:基础逻辑演算为主,公理集合论,证明论,递归函数轮,模型轮;1公理集合论与证明论:改造集合论,相容性证”在线访问地址,点击链接就可以访问查看啦