99引文
系统描述:切割-去除系统CERES*
2006
校对片段、删减和删减介绍
2010
18参考文献
证明和反例中类比发现的部分匹配
1997
逻辑在数学中的两个应用
1978
赫伯兰·艾利森·兹韦埃尔·贝韦斯·德斯·萨特泽·冯·罗斯(Herbrand-Analysen zweier Beweise des Satzes von Roth):Anzahlschranken多项式
1989