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 · 相关技术