中国科学院数学与系统科学研究院期刊网
α-非有丝分离集的存在性
杨东屏
THE EXISTENCE OF NONMITOTIC a-RECURSIVELY ENUMERABLE SETS
数学学报 . 1979, (2): 195 -203 .  DOI: 10.12386/A1979sxxb0017