摘要：对于一阶逻辑（FO）和FO的图灵完备扩展中的部分规范进行讨论。我们将比较系统中的组合和博弈论方法。
作者：Antti Kuusisto
论文ID：2010.05456
分类：Logic
分类简称：math.LO
提交时间：2023-07-28
PDF 下载： 英文版 中文版pdf翻译中