登录 | 注册
更新时间：2025-05-12 18:02:36
神谕 谨以此篇，纪念伟大的数理逻辑学家图灵
形式国 谨以此篇，纪念伟大的数理逻辑学家希尔伯特
实无穷 谨以此篇，纪念伟大的数理逻辑学家康托尔
可能世界 谨以此篇，纪念伟大的数理逻辑学家克里普克
١٢٣٤٥٦٧٨٩٠
语法树 谨以此篇，纪念伟大的数理逻辑学家蒙塔古
文前
版权信息
封面
