A Borel reductibility theory for classes of countable structures 论文
1989Journal of Symbolic Logic引用 272
Advanced Topology and Set TheoryComputability, Logic, AI AlgorithmsLogic, Reasoning, and Knowledge
A Borel reductibility theory for classes of countable structures · 相关文章
暂无数据