关注微信公众号查券更方便
海外直订Self-extensionality of finitely-valued logics 有限值逻辑的自扩展性
海外直订Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality 高阶逻辑中的自动推理:丘奇类型
【4周达】Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church's ... [9781904987574]