A language and axioms for explicit mathematics 论文

1975Lecture notes in mathematics引用 272
DOI
Computability, Logic, AI AlgorithmsAdvanced Algebra and LogicLogic, Reasoning, and Knowledge
Computability, Logic, AI AlgorithmsAdvanced Algebra and LogicLogic, Reasoning, and Knowledge
相关技术:Computability, Logic, AI Algorithms
关系图谱

A language and axioms for explicit mathematics · 相关技术

相关技术

Computability, Logic, AI Algorithms