林登鲍姆

（数理逻辑名词）
林登鲍姆，来 源是Adolf Lindenbaum，类 型是数理逻辑名词。在 数理逻辑中，逻辑理论 T 的 Lindenbaum-Tarski 代数 A 由这个理论的句子 p 的等价类构成，其等价关系 ~ 定义为
用户数据
参数表
继承树
构成树
关注人数：
0
技点进度：
0/0
题库进度：
0/0
技能进度：
0/
关注级别：