书目详细信息 : 可计算性与数理逻辑