递归论，国内不太多的资料，虽然更贴近数学专业，但是其中蕴含的递归思想是程序员必须掌握的，这样的资料网络上非常少，值得一读。