Toward useful type-free theories. I 论文

1984Journal of Symbolic Logic引用 382
DOI
Advanced Algebra and LogicAdvanced Topology and Set TheoryLogic, Reasoning, and Knowledge
Advanced Algebra and LogicLogic, Reasoning, and KnowledgeAdvanced Topology and Set Theory
关系图谱

Toward useful type-free theories. I · 作者

S

Solomon Feferman