Title: Ke ji suan xing li lun dao yin
Subjects: Computable functions