• 清华大学 语言哲学和语言逻辑 全75讲 主讲-蔡曙山 视频教程 2015-07-10 20:21:44
• 现代逻辑与形式化方法 57集 蔡曙山 清华大学 超星学术视频 2014-02-26 00:16:03
• 现代逻辑与形式化方法 57集 蔡曙山 清华大学 超星学术视频 2014-02-26 00:16:03
• 清华大学 现代逻辑与形式化方法 全57讲 主讲-蔡曙山 视频教程 2015-07-09 11:53:38