Extensions of some theorems of Gödel and Church 论文

1936Journal of Symbolic Logic引用 328
DOI
Logic, Reasoning, and KnowledgeLogic, programming, and type systemsAdvanced Algebra and Logic
Advanced Algebra and LogicLogic, Reasoning, and KnowledgeLogic, programming, and type systems
关系图谱

Extensions of some theorems of Gödel and Church · 相关文章

暂无数据