托拉夫·斯科勒姆：关于递归可枚举集的一些定理的证明。(1962) 期刊/ndjfl/Skolem62 10.1305/NDJFL/1093957149 问题56387840 关于递归可枚举集的一些定理的证明。 1 托拉夫·斯科利姆 1 65-74 圣母院J.正式日志。 圣母院J.正式日志。 三 2 1962 dblp记录“journals/ndjfl/Skolem62”的RDF数据的来源信息 2020-05-21T20:06:01+0200