Journal of Logic and Computation. 2015;25(3):943-963. doi: 10.1093/logcom/exu062 Q40.72025
Enumeration of the adjunctive hierarchy of hereditarily finite sets
遗传有限集的附加层次的枚举
DOI: 10.1093/logcom/exu062
摘要 查看摘要
Journal of Logic and Computation. 2015;25(3):943-963. doi: 10.1093/logcom/exu062 Q40.72025
DOI: 10.1093/logcom/exu062
摘要 查看摘要