费罗，A。;Omodeo，E.G.公司。;J.T.施瓦茨。 集合论某些片断的决策过程。 （英语） Zbl 0457.03009号 自动扣除，第五届Conf.，Les Arcs/France 1980，Lect。注释计算。科学。87, 88-96 (1980). 页码：−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于8文件 MSC公司： 03B25号 理论和句子集的可判定性 03B30型 经典理论基础（包括逆向数学） 关键词：多级三段论;无量词公式的可满足性;普雷斯伯格算法 引文：Zbl 0428.00026;Zbl 0453.03009号 PDF格式BibTeX公司 XML格式