查尔斯·乔丹和托马斯·齐格曼：一阶公式的可测试类和不可测试类。(2012) 期刊/jcss/JordanZ12 2016年10月10日/J.JCSS.2012.01.007 一阶公式的可测试类和不可测试类。 2 查尔斯·乔丹 1 托马斯·齐格曼 2 1557-1578 J.计算。系统。科学。 J.计算。系统。科学。 78 5 2012 dblp记录“journals/jcss/JordanZ12”的RDF数据的来源信息 2021-02-16T14:04:36+0100