bibliographic details : 可计算性理论