视频选集 【汉语】01 如何统一逻辑和算术 【英语】01 如何统一逻辑和算术 【汉语】02 数字欧米茄是数学预言吗？ 【英语】02 数字欧米茄是数学预言吗？ 【汉语】03 逻辑的健全性和完整性 【英语】03 逻辑的健全性和完整性 【汉语】04 类型理论和类型的代数 【英语】04 类型理论和类型的代数 【汉语】05 类别理论的温和介绍 【英语】05 类别理论的温和介绍
