机译:集合论的可确定的两类量化片段,具有有序对和一些不确定的扩展
Decision procedures; Set theory; Undecidability;
机译:集合论的可确定的两类量化片段,具有有序对和一些不确定的扩展
机译:集约束理论的一个无法确定的片段
机译:有限量化与有限枚举的三类集理论碎片的决策问题
机译:一阶级联理论的可判定片段和不可判定片段
机译:具有可预测的绑定预测的正式直觉集合论。
机译:普通从业者如何根据冲突的规范集的要求决定行动准则:一项扎根的理论研究
机译:具有有序对和一些不可判定的扩展的集合论的可判定量化片段