哈姆特《逻辑语言与意义》-42-第四章证明和推理：4.2语义推理关系-4.2.1语义有效性：合适，有效，语义后承，命题有穷，谓词无穷，丘奇定理

2022-11-17 11:58

[视频作者] 语言树

[视频时长] 28:16

[视频类型] 人文历史

回复编辑 ⇧顶 ⇩沉

影音视频访问链接

以下链接为影音视频“哈姆特《逻辑语言与意义》-42-第四章证明和推理：4.2语义推理关系-4.2.1语义有效性：合适，有效，语义后承，命题有穷，谓词无穷，丘奇定理”在线访问地址，点击链接就可以访问查看啦

www.bilibili.com

搜

合集

说两句