Transfinite recursive progressions of axiomatic theories 论文
1962Journal of Symbolic Logic引用 337
Logic, Reasoning, and KnowledgeAdvanced Topology and Set TheoryComputability, Logic, AI Algorithms
Transfinite recursive progressions of axiomatic theories · 相关文章
暂无数据