中国科学院数学与系统科学研究院期刊网
论指命系统的递归性
唐稚松
数学学报 . 1965, (6): 842 -860 .  DOI: 10.12386/A1965sxxb0065