Department of Computer Science Swansea University Swansea SA2 8PP, UK;
机译:可在Peano算术模型中定义的非标准模型
机译:有界算术中搜索问题的分类及其可定义性
机译:有界算术中搜索问题的分类及其可定义性
机译:PEANO算术中可定义的NP搜索问题的特征
机译:适当强迫公理在Peano算法模型中的应用
机译:借助Peano分形的节能型工业物联网软件定义网络
机译:通过证明符号表征有界算术中可定义的搜索问题
机译:霍尔的逻辑与皮亚诺的算术