题名:Recursively enumerable sets and degrees :
作者:Soare, R. I.
出版年:2007
ISBN: 9787030182951
分类号: O141.3
中图分类: 递归论(递归函数、能行性理论)