Richard Statman和Gilles Dowek：关于Statman的有限完全性定理。(2023) 期刊/cor/abs-2309-03602 10.44850/传真：239.033602 关于Statman的有限完全性定理。 2 理查德·斯塔特曼 1 吉尔斯·道克 2 CoRR公司 CoRR公司 abs/2309.03602 2023 dblp记录“journals/corr/abs-2309-03602”的RDF数据的来源信息 2023-09-12T12:50:52+0200