巴达耶夫,S.A。 正枚举。 (英语) Zbl 0411.03036号 同胞。数学。J。 18, 343-352 (1978).MSC公司:03D45号 2005年3月25日 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Badaev},Sib。数学。J.18,343--352(1978;Zbl 0411.03036) 全文: 内政部
巴达耶夫,S.A。 一般递归函数族的可计算枚举。 (英语) Zbl 0399.03028号 代数逻辑 16, 83-98 (1978).MSC公司:2005年3月25日 03D45号 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Badaev},代数逻辑16,83--98(1978;Zbl 0399.03028) 全文: 内政部