林登鲍姆

（数理逻辑名词）
林登鲍姆，来 源是Adolf Lindenbaum，类 型是数理逻辑名词。在 数理逻辑中，逻辑理论 T 的 Lindenbaum-Tarski 代数 A 由这个理论的句子 p 的等价类构成，其等价关系 ~ 定义为
知识树
时光轴
论点集
总题库
领域
数理逻辑
词条相关
词条 主页 》
词条 科普 》
词条 事件 》
词条 题库 》
词条 知识 》