题名	责任者	出版社	索书号
可计算性理论	杨东屏, 李昂生著	科学出版社	O141.3/447
递归论	莫绍揆著	科学出版社	O141.3/425.3